Der NRL Protocol Analyzer
-
Seminar Analyse kryptographischer Protokolle

Stephan Allner¹
Institut für Informatik
Humboldt-Universität zu Berlin

Zusammenfassung:

Die Ausarbeitung ist im Rahmen des Seminars ,,Analyse kryptographischer Protokolle`` entstanden und beschäftigt sich mit dem NRL Protocol Ananlyzer, einem interaktiven Tool zur Verifizierung kryptographischer Protokolle. Es basiert vorwiegend auf dem Modell von 1992 und versucht die grundlegende Funktionsweise des Analyzers zu beschreiben. Er wurde seitdem jedoch weiterentwickelt und ist aktuell noch in Gebrauch.