Modulcode: | infESSS-02a |
Englische Bezeichnung: | Engineering Secure Software Systems |
Modulverantwortliche(r): | PD Dr. Henning Schnoor |
Turnus: | jedes Jahr im WS (WS22/23 WS23/24) |
Präsenzzeiten: | 3V 1Ü |
ECTS: | 6 |
Workload: | 45 h lectures, 15 h exercises, 105 h self studies |
Dauer: | ein Semester |
Modulkategorien: | BSc-Inf-WP (BSc Inf (21)) WI (BSc Inf (15)) WI (BSc Inf) MSc-Inf-Theo (MSc Inf (21)) MSc-Inf-WP (MSc Inf (21)) 2F-MEd-Inf-WP (MEd-Hdl Inf (21)) 2F-MA-Inf-WP (2F-MA Inf (21)) MSc-WInf-WP-Inf (MSc WInf (21)) TI (MSc Inf (15)) WI (MSc Inf (15)) WI (MSc WInf (15)) WI (MSc WInf) IG (MSc Inf) TG (MSc Inf) |
Lehrsprache: | Englisch |
Voraussetzungen: |
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.
oral exam
Interactive lecture, exercise classes with examples, additional proofs and tool applications.