Modulcode: | Inf-ESSS |
Englische Bezeichnung: | Engineering Secure Software Systems |
Modulverantwortliche(r): | PD Dr. Henning Schnoor |
Turnus: | jedes Jahr im WS (WS17/18 WS18/19 WS19/20 WS20/21 WS21/22) |
Präsenzzeiten: | 2V 1Ü |
ECTS: | 4 |
Workload: | 30 Std. Vorlesung, 15 Std. Präsenzübung, 75 Std. Selbststudium |
Dauer: | ein Semester |
Modulkategorien: | WI (BSc Inf (15)) WI (BSc Inf) TI (MSc Inf (15)) WI (MSc Inf (15)) WI (MSc WInf (15)) WI (MSc WInf) IG (MSc Inf) TG (MSc Inf) |
Lehrsprache: | Englisch |
Voraussetzungen: | Inf-ADS Inf-LogInf Inf-TGI |
The topic of this cource is the security of software systems. Key topics are specification and analysis of security properties as well as the design of secure systems (with regard to a given specification). The main examples of softwate systems studied in the course are cryptographic protocols and general state-based systems (in the sense of information flow analysis).
The students learn basic properties of cryptographic protocols and prominent examples (e.g., authentication and key exchange) and know the fundamental techniques of information flow analysis. They can specify security properties of protocols and information-flow based systems formally and analyze a given system (both manually and with tool assistance) for security flaws. In addition they are familiar with design principles that guarantee specific security properties.
Mündliche Modulprüfung