Vorlesungsankündigung: "Einführung in die Modellierung und Analyse von Sicherheitsprotokollen"
bitte beachten Sie, dass am IfI dieses Semester erstmalig die Lehrveranstaltung "Einführung in die Modellierung und Analyse von Sicherheitsprotokollen" (3V/1Ü) von Dr. Nils Bulling angeboten wird.
Die Veranstaltung richtet sich hauptsächlich an Studierende der Informatik im Master, kann jedoch auch im Bachelor gehört werden.
In der Vorlesung werden unter anderem folgende Themen behandelt:
- Grundlagen der Computersicherheit und Kryptographie (z.B. Public-key Kryptosysteme, RSA, Digitale Signaturen)
- Analyse von Sicherheitsprotokollen: Was sind Sicherheitsprotokolle und typische Attacken/Schwachstellen? (z.B. Needham-Schroeder und Diffie-Hellman Schlüsselprotokolle, Man-in-the-middle Attacke)
- Verifikation von Sicherheitsprotokollen: Wie kann gezeigt werden, dass ein Protokoll sicher ist?
Weitere Informationen erhalten Sie direkt beim Dozenten und im StudIP-System.
Bitte registrieren Sie sich für die Vorlesung im StudIP-System!