50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Safety und Security - CS4010


Veranstaltungsart und -inhalt

Titel Safety und Security
Dozent Prof. Dr. Maciej Liskiewicz
Einordnung Master-Studiengang Informatik und AF Software Systems Engineering 2. Semester
Inhalte
  • Grundkonzepte von Safety
  • Verifikation von Safety-Eigenschaften
  • Angriffsziele, Angriffsszenarien
  • Verschlüsselungsarten und -protokolle
  • Verifikation von Protokollen
  • Formale Modellierungen von Safety-Eigenschaften
  • Grundkonzepte von Security
  • Sicherheitsprimitive
  • Authentifizierungs- und Signaturprotokolle
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

Vorlesung

Dozent Prof. Dr. Maciej Liskiewicz
Umfang 2 SWS, ECTS-Credits: 4
Termine Do 10:00 – 12:00, Seminarraum Informatik 5 (Von Neumann)

Übung

Assistent Martin Schuster M. Sc.
Umfang 1 SWS
Termine Do 15.30 – 17:30, R 60-ZKL