Automatische Protokollverifikation
Wir suchen eine Diplomandin oder einen Diplomanden, der/die mehrere Tools zur automatischen Verifikation von (Security-)Protokollen anhand eines einfachen Protokolls testet und vergleicht. Die Diplomarbeit baut auf einem Praktikum auf, in dessen Verlauf diese Tools an unserem Institut installiert werden. Der Beginn der Diplomarbeit ist nach Ende des Praktikums möglich, bei Absprache mit dem Praktikanten bzw. der Praktikantin eventuell sogar schon früher.
Konkret geht es darum, verschiedenste Tools zur automatischen
Protokollverifikation
anhand eines einfachen Protokolls (Authentication) zu testen. Dazu müssen
Sie zunächst das Protokoll in eine für das jeweilige Tool
verarbeitbare
Form bringen (z.B. GNY-Logik im Fall von SPEAR II, LOTOS bei Verwendung
von CADP) und es dann in fehlerfreiem sowie in fehlerbehaftetem Zustand
(mehrere Fehlerarten) testen. Ihre Erfahrungen mit den Tools und eine
Beschreibung
ihrer Stärken und Schwächen sollten Sie dann in der Diplomarbeit
zusammenfassen.
Kontakt: