20-00-0362-iv Formale Methoden der Informationssicherheit

Lehrende: Prof. Dr.-Ing. Heiko Mantel

Veranstaltungsart: Integrierte Veranstaltung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: Formale Methoden der

Fach:

Anrechenbar für:

Semesterwochenstunden: 6

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:

• formale Modellierung sicherheitskritischer Systeme in Prädikatenlogik
  
• Theoretische Grundlagen von Zugriffskontrollen und Informationsflusskontrollen
  
• formale Modellierung von Sicherheitseigenschaften in Prädikatenlogik
  
• Unterscheidung von qualitativen und quantitativen Sicherheitseigenschaften
  
• Entscheidbarkeits- und Komplexitätsresultate für Sicherheitseigenschaften
  
• Verifikation von Sicherheitsgarantien in verteilten Systemen
  
• Auswirkung von Komposition und Verfeinerung auf Sicherheitsgarantien
  
• formale Sprachen zur Beschreibung von Sicherheitspolitiken und deren Semantik
  
• Zertifizierung sicherheitskritischer Systeme
  

Literatur:

• M. Bishop: Computer Security, Addison-Wesley
  
• J. Biskup: Security in Computing Systems, Springer-Verlag
  
• C. P. Pfleeger, S. L. Pfleeger: Security in Computing, Prentice Hall
  
• D. Denning: Cryptography and Data Security, Addison Wesley
  

Voraussetzungen:
Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere grundlegende Logikkenntnisse und Fähigkeit mit formalen Sprachen und Kalkülen umzugehen

Zusätzliche Informationen:
Weitere Informationen sind unter http://www.mais.informatik.tu-darmstadt.de/Teaching zu finden.