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: Deutsch
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 Die Literaturempfehlungen werden kontinuierlich aktualisiert.
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