Modul CS4010

Dauer:

Angebotsturnus:

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

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:

• Prof. Dr. Rüdiger Reischuk

Lehrende:

• Institut für Theoretische Informatik

• Prof. Dr. Rüdiger Reischuk
• Prof. Dr. Maciej Liskiewicz

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: