Website
Modulhandbuch WS 2014/15 bis SS 2019

Modul UngenutztCS4211 T

Modulteil: Modellierung und Analyse von Sicherheit (SecurAna)

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

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF