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
  • Grundkonzepte von Safety
  • Verifikation von Safety-Eigenschaften
  • Angriffsziele, Angriffsszenarien
  • Verschlüsselungsarten und -protokolle
  • Verifikation von Protokollen
  • Formale Modellierungen von Safety-Eigenschaften
  • Grundkonzepte der Security
  • Sicherheitsprimitive
  • Authentifizierungs- und Signaturprotokolle
Qualifikationsziele
  • Kenntnis der IT-Sicherheitsproblematik
  • Fähigkeit zur Analyse der Safety- und Security Eigenschaften von Systemen
  • Kenntnis der wichtigsten kryptographischen Verfahren
  • Exemplarische Implementationserfahrung
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. Liskiewicz
Umfang 2 SWS, ECTS-Credits: 4
Termine Mo 10:00 – 12:00, ITCS Seminarraum 2021

Übung

Assistent Dipl.-Inf. Michael Elberfeld
Umfang 1 SWS
Termine Mi 15:00 – 16:00, ITCS Seminarraum 2021