Seminar: Analyse kryptografischer Protokolle

Inhalte und Lernziele

Die Benutzung von sicheren Kryptoalgorithmen bietet noch keine Garantie für Sicherheit. Hierzu bedarf es zusätzlich der Ausarbeitung sogenannter kryptografischer Protokolle, die den Ablauf aller Aktionen der verschiedenen Teilnehmer regeln.
Im Seminar werden u.a. Protokolle zur Generierung und Verifikation digitaler Signaturen, zur Durchführung elektronischer Wahlen oder für das elektronische Bezahlen behandelt. Insbesondere sollen auch Methoden zur Verifizerung der Protokolle vorgestellt werden.

Vorträge

1. Einführung und Themenvergabe (24.10.)
   Matthias Schwan



2. Einführung in formale Verifkationsmethoden kryptographischer Protokolle (07.11.)
   MS-Office (doc), PowerPoint (ppt)
   André Rosin



3. Die BAN-Logik (14.11.)
   Hiep Han



4. Die GNY-Logik (21.11.)
   Matthias Schwan



5. Die KPL-Logik (28.11.)
   Hendrik Süß



6. Die Kessler/Neumann-Logik zur Analyse von eCommerce Protokollen (05.12.)
   Ingo Kampe



7. Die Logik von Rangan (16.01.) MS-Office (doc)
   Lars Jeske



8. Das Modell von Dolev/Yao (19.12.) PostScript (ps)
   Martin Stiel



9. Der 'Interrogator' (09.01.) PostScript (ps)
   Matthias Killat



10. Das 'Longley-Rigby-Tool' (16.01.) PDF-Format (pdf)
    Steffen Buhle

Heute Doppelveranstaltung: Die Logik von Rangan


11. Der 'NRL Protocol Analyzer' (23.01.) PostScript (ps) (draft v0.9)
    Stephan Allner



12. Der 'Asynchronous Product Automata' (30.01.) PostScript (ps)
    Michael Ueckerdt



13. Analysen mittels Algebren (06.02.) PowerPoint (ppt) (draft v0.9)
    Sascha Bauer