Website
Modulhandbuch vor 2014

Modul CS4010

Safety und Security (vor 2014) (SafeSec)

Dauer:


1 Semester
Angebotsturnus:


Wird nicht mehr angeboten
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik 2012 (Pflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, 2. Fachsemester
  • Master Informatik 2012 (Wahlpflicht), Vertiefungsblock Sicherheit, 2. Fachsemester
  • Master Informatik 2012 (Pflicht), Schwerpunktfach Software Systems Engineering, 2. Fachsemester
Lehrveranstaltungen:
  • Safety und Security (Vorlesung mit Übungen, 3 SWS)
Workload:
  • 45 Stunden Präsenzstudium
  • 65 Stunden Selbststudium und Aufgabenbearbeitung
  • 10 Stunden Prüfungsvorbereitung
Lehrinhalte:
  • Temporale Logiken
  • Nebenläufigkeit
  • Grundkonzepte von Safety
  • Formale Modellierungen von Safety-Eigenschaften
  • Verifikation von Safety-Eigenschaften
  • Model Checking und Werkzeuge
  • Grundkonzepte von Security
  • Verifikation von Protokollen
Qualifikationsziele/Kompetenzen:
  • Fähigkeit zur Analyse der Safety-Eigenschaft von Systemen
  • Fähigkeit zur Analyse der Security-Eigenschaft von Systemen
  • Kenntnisse der grundlegenden Techniken des Model Checkings
  • Verständnis für die Grenzen automatischer Verifikation
Vergabe von Leistungspunkten und Benotung durch:
  • Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
Modulverantwortlicher:
Lehrende:
Literatur:
  • M. Huth, M. Ryan: Logic in Computer Science - Cambridge 2004
  • Z. Manna, A. Pnueli: Temporal Verification of Reactive Systems :Safety - Springer 1995
  • D. Salomon: Data Privacy and Security - Springer 2003
  • C. Baier, P. Katoen: Principles of Model Checking - MIT Press 2008
  • H. Tipton, M. Krause: Information Security Management - Auerbach 2000/2001
  • E. Clarke, O. Grumberg, D. Peled: Model Checking - MIT Press 1999
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF