| Beschreibung |
Sicherheitsprotokolle in der Kryptographie
Ein Sicherheitsprotokoll dient der sicheren Kommunikation zwischen zwei oder mehr Teilnehmern. Einfache Sicherheitsprotokolle stellen die Grundfunktionen für andere Sicherheitsprotokolle dar, z.B. die authentische und vertrauliche Übermittlung von Datenpaketen.
In der Vorlesung werden die Anforderungen für Sicherheitsprotokolle vermittelt, und es werden die Stärken und Schwächen Sicherheitsprotokollen diskutiert. Zu den Schwächen gehören auch mögliche Implementationsfehler, die dazu führen, dass ein "an sich sicheres" Protokoll doch angreifbar ist.
Teilnehmerinnen und Teilnehmer der Vorlesung am Ende der Veranstaltung wissen,
- wie man die Sicherheit von Protokollen definiert,
- wie man Sicherheitsprotokolle analysiert und ggf.
- nachweist, dass ein konkretes Protokoll seine Anforderungen erfüllt und
- wie man Sicherheitsprotokolle korrekt implementiert. |
| engl. Beschreibung/ Kurzkommentar |
Secure Channels
A secure channel, between two or more participants, provides privacy and integrity of the transmitted data. The goal of this course is to understand the principles of designing and analyzing secure channels. The students will learn to distinguish between a secure and an insecure design, by conceiving the basic ideas of secure channels:
- Formalizing the security requirements
- Analyzing existing protocol and channel designs
- How to prove the security of a given design
- Sound implementation of secure channels
|
