Nächste Seite:
Einführung
Aufwärts:
Analyse kryptographischer Protokolle mit Hilfe asynchroner Produktautomaten
Vorherige Seite:
Analyse kryptographischer Protokolle mit Hilfe asynchroner Produktautomaten
Inhalt
Einführung
Ein APA für das Needham-Schroeder Protokoll
formale Definition eines APA
Das Needham-Schroeder Protokoll
Spezifikation eines APA für das Needham-Schroeder Protokoll
Die Analyse des Protokolls
Der Analyse-APA
Das Analyse-Szenario
Das SH-Verification Tool
Zusammenfassung
Literatur
Michael Ueckerdt 2003-02-02