Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung

在结构化、正式的软件开发中实施安全策略

• 批准号: 5202012
• 负责人: Professor Dr. Dieter Hutter
• 金额: --
• 依托单位: Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), Saarbrücken
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1999
• 资助国家: 德国
• 起止时间: 1998-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5202012?language=en
• 关键词: Umsetzung; von; Sicherheitspolitiken; auf; eine

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.

在该beantragten项目UmSicht soll aus einer Sicherheitspolitik一个sogenanntes元Sicherheitsmodell erzeugt韦尔登，由dem dann mit Hilfe der konkreten Spezifikationsebenen（automatisch）die korrespondierenden Sicherheitsmodelle für die korrespondierenden Verfeinerungshierarchien erzeugt韦尔登könen.在这个项目中，我们必须找到一个合适的韦尔登，并利用Hilfe的这一科学知识，在安全模型的基础上，将其简化为韦尔登。只有项目的安全性方法和技术才能得到保证，而安全性评估的方法和技术则必须更加完善。