English
Formale Methoden und Informationssicherheit
Mitarbeiter: Michael Drouineaud , Karsten Sohr
Unser Ziel ist der Einsatz formaler Methoden in der Informationssicherheit. Dabei beschäftigen wir uns schwerpunktmäßig zunächst mit dem Bereich der Zugriffskontrolle (access control). In diesem Rahmen sollen insbesondere Sicherheitsrichtlinien (security policies ) auf Konsistenz hin untersucht werden. Betrachtet werden sollen hier speziell rollenbasierte Zugriffskontrollmodelle , da diese sowohl die Vertraulichkeit (confidentiality) als auch die Datenintegrität (data integrity ) behandeln können. Eine Erweiterung des Rahmenwerkes auf Informationsflussmodelle wird angestrebt. Als Basis für die Untersuchung wird eine Modallogik verwendet, die aus einer im Jahre 1992 von Abadi et al. vorgestellten Logik (" ABLP-Logik ") entwickelt werden soll.
Autor: Dr. Karsten Sohr
| Zuletzt geändert am: 12. September 2002 |  |