50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Safety und Security - CS4010


Veranstaltungsart und -inhalt

Titel Safety und Security
Dozent PD Dr. Maciej Liskiewicz
Einordnung Master-Studiengang Informatik und AF Software Systems Engineering 2. Semester
Inhalte
  • Temporale Logiken
  • Grundkonzepte von Safety
  • Verifikation von Safety-Eigenschaften
  • Grundkonzepte von Security
  • Nebenläufigkeit
  • Formale Modellierungen von Safety-Eigenschaften
  • Model Checking und Werkzeuge
  • Verifikation von Protokollen
Qualifikationsziele
  • 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
Empfohlene Literatur
  • Huth, Ryan, Logic in Computer Science, Cambridge 2004
  • Manna, Pnueli, Temporal Verification of Reactive Systems, Springer 1995
  • Salomon, Data Privacy and Security, Springer 2003
  • Denning, Cryptography and Data Security, Addison Wesley 1982
  • Tipton, Krause, Information Security Management, Auerbach 2000/2001
Wiki Wiki zur Veranstaltung »Safety und Security«

Vorlesung

Dozent PD Dr. Maciej Liskiewicz
Umfang 2 SWS, ECTS-Credits: 4
Termine Mo 16:00 – 18:00, AM 3

Übung

Assistent Dipl.-Inf. Michael Elberfeld
Umfang 1 SWS
Termine Do 10:00 – 11:00, 11:00 – 12:00, ITCS Seminarraum 2021