Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Seminar Kryptographische Protokolle SS 2008

  Inhalt | Vortragsthemen | Literatur | Hinweise

Mit der zunehmenden Ausbreitung des Internets nimmt auch der Bedarf an sicherer Kommunikation zu, z.B. für E-Commerce und Internet-Banking oder zum sicheren Austausch geheimer Informationen wie beispielsweise Kreditkarten-Nummern. Dieses Seminar beschäftigt sich mit den Techniken, die eingesetzt werden, um diese Sicherheit zu erzielen.

Das Seminar besteht aus drei Abschnitten:

  • Der erste Teil handelt von Verschlüsselungsverfahren wie RSA (public-key-Verfahren), DES/IDEA und AES und deren mathematische Grundlagen.
  • Der zweite Teil handelt von kryptographischen Protokollen. In der Praxis reicht es nicht aus, nur Nachrichten verschlüsseln zu können, man benötigt auch Protokolle, beispielsweise zum Schlüsselaustausch und zur Authentifizierung. Diese Protokolle besitzen meist eine relativ kurze Beschreibung, es ist jedoch sehr schwer zu sehen, ob sie auch tatsächlich sicher sind, selbst wenn man davon ausgeht, dass die eigentliche Verschlüsselung nicht gebrochen werden kann. Oft gibt es sogar für Protokolle, die in der Literatur beschrieben worden sind, Angriffe, bei denen sich beispielsweise ein böswilliger Eindringling als Kommunikationspartner ausgeben und so an geheime Informationen gelangen kann. Dieser Abschnitt des Seminars beschäftigt sich mit bekannten Protokollen und Angriffen auf diese Protokolle.
  • Im dritten und letzten Abschnitt geht es dann um Entwurfsmethoden und Verifikationsverfahren, mit denen man über die Sicherheit der entworfenen Protokolle argumentieren oder die Unmöglichkeit bestimmer Angriffe beweisen kann.

Organisatorisches

Das Seminar wird im Laufe des Sommersemesters 2008 abgehalten; im Allgemeinen ist ein Vortrag pro Woche vorgesehen. Die Termine sind dienstags um 14:15 Uhr in Raum 03.09.014. Die Verteilung und die Termine der einzelnen Themen findet sich hier.

Ansprechpartner für das Seminar sind Jörg Bauer und Stefan Schwoon.