Kryptographische Protokolle

Dieses Modul bietet eine Einführung in das Gebiet der kryptographischen Protokolle, die den Einsatz bekannter und neuer Verfahren der Kryptographie in der Kommunikation zwischen mehreren Instanzen beschreiben. Hierbei wird sowohl Wert auf die Beschreibungen als auch auf die Sicherheit gelegt. Das Modul umfasst als Einführung allgemeine kryptographische Grundlagen, die Konzepte der beweisbaren Sicherheit und eine Einführung zu kryptographischen Protokollen. Den Schwerpunkt des Moduls werden Schlüsselaustausch Protokolle bilden. Den Abschluss des Moduls bildet eine detaillierte Beschreibung und formale Sicherheitsanalyse von TLS, dem wohl am weitesten verbreitete Authentifizierungsund Schlüsseltausch Protokolls im Internet.