Seminar: Modellierung und Verifikation kryptographischer Protokolle

Veranstalter:	Prof. Dr. Michael Weber, Frank Kargl, Stefan Schlott
SWS:	2S, Wählbar im 3.Bachelorjahr
Leistungspunkte:	4
Kernfach:	Praktische und Angewandte Informatik, Technische und Systemnahe Informatik
Vertiefungsgebiete:	Kommunikationssysteme, Verteilte Systeme
Maximale Teilnehmerzahl:	12
Voraussetzungen:	Vordiplom
Scheinvergabekriterien:	Regelmäßige und aktive Teilnahme, Vortrag und Ausarbeitung
Turnus:	---

Lernziel

Überblick über die verfügbaren Techniken und Hilfsmittel zur Verifikation bestehender bzw. zur sicheren Modellierung neuer kryptographischer Protokolle.
Eigenständiges wissenschaftliches Arbeiten (insbes. Recherche).

Quellen, Literatur und Status

Allgemeine Hinweise zu Seminaren und Diplomarbeiten
Vorlage für LaTeX-Dokumente
Status-Übersicht
Abgabe Reviews

Zeitplan

Datum
15.10.02	Erstes Treffen, Themenvergabe
27.11.02	Stichtag für Vorstellung von Gliederung und Materialsammlung
13.01.03	Letzter Termin, die Ausarbeitung einzureichen
16./17.01.03	14h - 18h: "Gastvorträge" Handheld und Ubiquitous computing
27.01.03	Letzte Abgabe der Reviews
03.02.03	Abgabe der Final Version
16.02.03	Vorträge