Veranstaltungsart und -inhalt
|
| Titel |
Modellierung und Analyse von Sicherheitseigenschaften |
| Dozent |
Prof. Dr. R. Reischuk ,
Prof. Dr. M. Liskiewicz |
| Einordnung |
Master Informatik mit AF IT-Sicherheit, (1.-2. Fachsemester, Pflicht)
Master Informatik, Teil des Vertiefungsmoduls CS4506 Datensicherheit (1.-3. Fachsemester)
Master Medizinische Informatik, (1. oder 2. Fachsemester, Wahlpflicht)
|
| Inhalte |
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
|
| Empfohlene Literatur |
- V. Cortier, S. Kreme (Ed.): Formal Models and Techniques for Analyzing Security Protocols - IOS Press 2011
- C. Pfleeger, S. 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
|
Creditierung |
|
Seminaristischer Unterricht mit Übungen, bei Bedarf in englischer Sprache |
| Dozenten |
Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz ,
Matthias Lutter M.Sc. |
| Umfang |
4 SWS
|
| Termine: |
Di. 14:00–16:00 Uhr, Seminarraum Mathematik 1 (Hilbert)
Do. 12:00–14:00 Uhr, Seminarraum ITCS 2021
|
