Dauer:
1 Semester | Angebotsturnus:
Jedes Wintersemester | Leistungspunkte:
6 |
Studiengang, Fachgebiet und Fachsemester: - Master Informatik 2019 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
- Master Entrepreneurship in digitalen Technologien 2020 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
- Master Entrepreneurship in digitalen Technologien 2014 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
- Master Informatik 2014 (Modulteil eines Pflichtmoduls), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, Beliebiges Fachsemester
|
Lehrveranstaltungen: - Modellierung und Analyse von Sicherheit (Übung, 1 SWS)
- Modellierung und Analyse von Sicherheit (Praktikum, 1 SWS)
- Modellierung und Analyse von Sicherheit (Vorlesung, 3 SWS)
| Workload: - 75 Stunden Präsenzstudium
- 85 Stunden Selbststudium und Aufgabenbearbeitung
- 20 Stunden Prüfungsvorbereitung
| |
Lehrinhalte: | - Modellierung und Formalisierung von Protokollen und Sicherheitseigenschaften
- Angreifer und Angreifermodelle, Sicherheitslücken
- Symbolische Verfahren und automatische Verifikation von Sicherheitseigenschaften
- Konsistenz- und Synchronisationsproblematik
| |
Qualifikationsziele/Kompetenzen: - Algorithmische Grundlagen für die Sicherheit von IT-Systemen umfassend beherrschen
- Tieferes Verständnis für Sicherheitseigenschaften
- komplexe Verfahren im Bereich IT-Sicherheit kennen und anwenden können
- Protokolle und Sicherheitseigenschaften spezifizieren, analysieren und verifizieren können
- Kenntnisse über Techniken zur automatischen Verifikation von Sicherheitseigenschaften
|
Vergabe von Leistungspunkten und Benotung durch: - Prüfungsform hängt vom übergeordneten Modul ab
|
Modulverantwortlicher: Lehrende: |
Literatur: - V. Cortier, S. Kremer, editors: Formal Models and Techniques for Analyzing Security Protocols - Cryptology and Information Security Series 5, IOS Press, 2011
- C. P. Pfleeger, S. L. Pfleeger: Security in Computing - Prentice-Hall, 2007
- A. Joux: Algorithmic Cryptanalysis - CRC Press 2009
- J. Katz, Y. Lindell: Introduction to Modern Cryptography - Chapman & Hall 2008
- S. Loepp, W. Wootters: Protecting Information - Cambridge Univ. Press 2006
|
Sprache: - Englisch, außer bei nur deutschsprachigen Teilnehmern
|
Bemerkungen:Modulteil von CS4506-KP12 und identisch zu CS4211-KP06 |
Letzte Änderung: 10.7.2019 |
für die Ukraine