Semiformal Security Models


Das Projekt dient der Untersuchung der Möglichkeiten, für verschiedene Systeme solche Beschreibungen zu finden, die eine zuverlässige und verifizierbare Evaluierung nach bestimmten Sicherheitskriterien ermöglichen. Bisherige Sicherheitsmodelle verwenden überwiegend informale Beschreibungen, bei denen Implementationsfehler und Sicherheitslücken nur schwer zu erkennen sind.


Principal Investigators
Köbler, Johannes Prof. Dr. (Details) (Algorithms and Complexity II)

Duration of Project
Start date: 08/2000
End date: 03/2001

Research Areas
semiformales Sicherheitsmodell, Sicherheitskriterien, verifizierbare Evaluierung

Last updated on 2020-11-03 at 23:12