In vielen Anwendungen der Kryptographie ist es von hoher Wichtigkeit, daß die zugrundeliegenden Protokolle nicht nur erprobt sind und sicher wirken, sondern daß ein rigoroser Beweis ihrer Sicherheit geführt wird.
Es zeigt sich aber, daß detaillierte Beweise zunächst auf das Problem der Definition des Wortes "Sicherheit" stoßen. Entgegen dem intuitiven Eindruck liegt hier keineswegs ein trivialer und unmittelbar einleuchtender Begriff vor.
Das Seminar "Formale Sicherheitsmodelle" beschäftigt sich mit der Definition von Sicherheit durch den Vergleich realer Protokolle mit idealen Funktionalitäten (Spezifikationen). Im Laufe des Seminares sollen die folgenden Themengebiete erarbeitet werden:
Das Seminar richtet sich an Studierende der Informatik, Mathematik, Physik und verwandter Fächer im Hauptstudium. Die einzelnen Seminarvorträge werden nach Absprache blockweise an mehreren Terminen im Laufe des Sommersemesters gehalten.
Dienstag, 13. Juli 2004 14.00 - 15.30 Uhr (SR 252)
Für die Ausarbeitung bitte folgende LaTeX-Vorlage verwenden: vortrag.tex, ausarbeitung.tex, haupt.sty, unilogo.tex. Dazu die Datei vortrag.tex nach dem eigenen Vortrag benennen und darin die Ausarbeitung ergänzen, der Vortrag wird dann durch ein entsprechendes Kommando in ausarbeitung.tex ergänzt.
Die Ausarbeitung bitte bis zum 31. August 2004 an den Betreuer schicken.
Fragen bitte richten an: Stefan Röhrich (Tel.: 608-4025, Zi. 230), Dominique Unruh (Tel.: 608-6287, Zi. 238), im Informatik-Neubau.
E-Mail: sr@ira.uka.de, unruh@ira.uka.de