Modulcode:	Inf-KryptProt4
Englische Bezeichnung:
Modulverantwortliche(r):	PD Dr. Henning Schnoor
Turnus:	unregelmäßig (SS15)
Präsenzzeiten:	2V 1Ü
ECTS:	4
Workload:	30 Std. Vorlesung, 15 Std. Präsenzübung, 75 Std. Selbststudium
Dauer:	ein Semester
Modulkategorien:	WI (MSc Inf (15)) WI (MEd Inf) WPI (MEd Inf) TG (TA) (MSc Inf (2-Fach)) IG (MSc Inf) TG (MSc Inf) MV (MSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:	Inf-ADS Inf-TGI

Kurzfassung:

In der Veranstaltung werden kryptografische Protokolle sowie die von ihnen zu erfüllenden Sicherheitseigenschaften vorgestellt. Ein Schwerpunkt ist die automatische Analyse von Protokolle, um Sicherheitsmängel aufzudecken.

Lernziele:

Die Studierenden kennen Grundlagen kryptografischer Protokolle sowie Beispiele für Authentifizierung und Schlüsselaustausch. Sie können Sicherheitseigenschaften von Protokollen exakt formulieren und ein gegebenes Protokoll (manuell oder automatisch) auf Sicherheitsmängel überprüfen.

Lehrinhalte:

• Beispiele für kryptografische Protokolle
• Angreiferfähigkeiten und Sicherheitsziele
• typische Fehler beim Entwurf von Protokollen
• manuelle und automatische Analyse von Protokollen

Weitere Voraussetzungen:

• Datenstrukturen und Algorithmen
• Theoretische Grundlagen der Informatik

Prüfungsleistung:

Mündliche Modulprüfung

Lehr- und Lernmethoden:

• Vorlesung (2SWS)
• Übung (1SWS), im zweiten Teil des Semesters mit praktischen Anteilen

Verwendbarkeit:

Literatur:

Verweise:

Kommentar: