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 Teil des Vertiefungsmoduls Sicherheit von Daten und Kommunikation CS 4506
Master Informatik mit AF IT-Sicherheit, Pflicht
Master Informatik und Master EdT, Wahlpflicht

Master Medizinische Informatik, (eigenständiges Wahlpflicht-Modul
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
    • 6 KP

    Seminaristischer Unterricht mit Übungen, bei Bedarf in englischer Sprache

    Dozenten Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz , Benito van der Zander 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