Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung

• Antragsteller: Professor Dr. Dieter Hutter
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 1999 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5202012

In dem beantragten Projekt UmSicht soll aus einer Sicherheitspolitik ein sogenanntes Meta-Sicherheitsmodell erzeugt werden, aus dem dann mit Hilfe der konkreten Spezifikationsebenen (automatisch) die korrespondierenden Sicherheitsmodelle für die korrespondierenden Verfeinerungshierarchien erzeugt werden können. Ferner soll in dem Projekt untersucht werden, in welcher formalen Abhängigkeit die erzeugten Modelle stehen und wie mit Hilfe dieses Wissens der Aufwand beim Nachweis der Sicherheitsmodelle reduziert werden kann. Damit soll das Projekt UmSicht Methoden und Techniken bereitstellen, mit denen dann der Nachweis vertraulichkeitsorientierter Sicherheitseigenschaften mittels formaler Methoden auf verschiedenen Spezifikationsebenen erst möglich wird.

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1079: Sicherheit in der Informations- und Kommunikationstechnik
• Beteiligte Personen: Professor Dr. Jörg H. Siekmann; Dr. Werner Stephan