Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung

点击翻译按钮获取中文摘要

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.