Das Dolev und Yao Modell
-
Seminar Analyse kryptographischer Protokolle

Martin Stiel¹

Humboldt Universität zu Berlin - Institut für Informatik
30. Dezember 2003

Zusammenfassung:

Im Bemühen um die formale Analyse kryptographischer Protokolle wurden inzwischen eine Reihe von Modellen entwickelt. Ein relativ frühes Beispiel bildet der hier vorgestellte Versuch von Danny Dolev und Andrew C. Yao. Es stellt einen algebraischen Ansatz dar und beruht auf der Vorstellung von Nachrichten und Schlüsseln in Form von aus Buchstaben zusammengesetzten Wörtern. Wie bei anderen Verfahren auch werden lediglich Schwächen des kryptographischen Protokolls, nicht jedoch des zugrundeliegenden kryptographischen Systems untersucht. Das Modell versteht sich auch als Hilfestellung zum Design sicherer kryptographischer Protokolle.