50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Modellierung und Analyse von Sicherheitseigenschaften CS4211


Veranstaltungsart und -inhalt

Titel Modellierung und Analyse von Sicherheitseigenschaften
Dozent Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz
Einordnung Master IT-Sicherheit in Planung (Wahlpflicht), IT-Sicherheit, 1., 2. oder 3. Fachsemester
Master Medizinische Informatik (Wahlpflicht), Kernbereich Informatik, 1. oder 2. Fachsemester
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

    Seminaristischer Unterricht mit Übungen

    Dozenten Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz , Matthias Ernst M.Sc.
    Umfang 4 SWS, ECTS-Credits: 6
    Termine: Di. 10:00–12:00 Uhr, Seminarraum ITCS 2021
    Do. 14:00–16:00 Uhr, Seminarraum Informatik 5 (von Neumann)