Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung

• Applicant: Professor Dr. Dieter Hutter
• Subject Area: Software Engineering and Programming Languages
• Term: from 1999 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Priority Programmes
• Subproject of: SPP 1079: Security in Information and Communication Technology
• Participating Persons: Professor Dr. Jörg H. Siekmann; Dr. Werner Stephan