Semiformale Sicherheitsmodelle
T-Systems Forschungsprojekt
Dieses Forschungsprojekt ist ein Gemeinschaftsprojekt der ITC-Security der T-Systems International GmbH und des Instituts für Informatik der Humboldt-Universität zu Berlin, wodurch die bestehenden wissenschaftlichen Kontakte weiter ausgebaut werden.
Zeitraum:
Seit November 2000
Projekt Mitarbeiter
| Institution | Projekt Mitarbeiter |
| Humboldt Universität, Berlin. | Johannes Köbler |
| Matthias Schwan | |
| ITC-Security Berlin. | E. G. Giessmann |
Forschungsinhalt
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.
Es werden die Anforderungen nach ITSEC, nach Common Criteria und nach FIPS 140 an die Sicherheitsmodelle untersucht, um Bewertungskriterien für die Beschreibungen aufstellen zu können.
Mit den Ergebnissen dieser Untersuchungen sollte ein Vergleich bestehender Beschreibungen möglich sein und in einer späteren Phase auch durchgeführt werden. Als eine der wichtigsten Aufgaben soll aus den vorangegangenen Punkten ein etwaiger Forschungsbedarf für Sicherheitsmodelle in einer Public Key Infrastructure (PKI) ermittelt werden.