Seminar: Analyse von Sicherheitsprotokollen

Organisator: Prof. Dr. Heiko Mantel

Registrierung: Registrierungen nimmt Elisabeth Kraft entgegen. Falls Sie sie nicht antreffen sollten, wenden Sie sich bitte an Dr. Barbara Sprick im Büro nebenan (S2-02-E321).

Literatur: Wird in der Vorbesprechung bekanntgegeben

Vorbesprechung: Mittwoch, 15.10, 14:30-15:30, in S2-02-E302

Form: Blockseminar, 26.01.2009 - 27.01.2009

Kontakt: Bei Fragen bitte an Dr. Barbara Sprick wenden.

Thema: Immer häufiger wird das Internet auch für sicherheitskritische Anwendungen wie E-Marketing, E-Government, Onlinebanking, etc. genutzt. Kryptographische Protokolle sollen hierfür sichere Transaktionen und sichere Kommunikation garantieren. Sie regeln beispielsweise die Art, in der Kommunikationspartner miteinander kommunizieren, in der sie Schlüssel austauschen oder in der sich verschiedene Partner gegenseitig authentifizieren.
Immer wieder jedoch werden neue Angriffe bekannt, die deutlich machen, dass die als sicher angenommenen Protokolle diese Annahmen nicht zusichern können - wenig erstaunlich, wenn man die unzähligen Möglichkeiten bedenkt, auf die verteilte Systeme miteinander interagieren können. Aus diesem Grund werden bei der Protokollentwicklung formale Methoden wie beispielsweise spezielle Logiken und Prozessalgebren, Model Checker und Theorembeweiser eingesetzt, die die Entwicklung beweisbar korrekter Protokolle unterstützen sollen.

In diesem Seminar werden unterschiedliche Verifikationsverfahren betrachtet, die geeignet sind, über die Sicherheit von Protokollen zu argumentieren, bzw. die Unmöglichkeit bestimmter Angriffe zu beweisen.

Interne Seminarseite


A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang