Nächste Seite: Inhalt Inhalt

Analyse kryptographischer Protokolle mit Hilfe asynchroner Produktautomaten

Michael Ueckerdt (156675)

Inhalt
Einführung
Ein APA für das Needham-Schroeder Protokoll
Die Analyse des Protokolls
- Der Analyse-APA
- Das Analyse-Szenario
Das SH-Verification Tool
Zusammenfassung
Literatur
Über dieses Dokument ...

Michael Ueckerdt 2003-02-02