Archive for Januar, 2003

Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten

Mittwoch, Januar 1st, 2003

Im Rahmen des Aufbaustudiums nahm ich an einem Kryptographie-Seminar teil. Das von mir auszuarbeitende Thema beschäftigt sich mit der Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten.