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.

最后，我们致力于Projekt的Projekt，并致力于Projekt（Automatisch）的Projekt，并致力于Projekt的Projekt。最后，我们致力于Projekt的Projekt，并致力于Projekt的Projekt。 In the end, we are committed to the projekt of the projekt, and we are committed to the projekt of the projekt, and we are committed to the projekt of the projekt, and we are committed to the projekt of the projekt, and we are committed to the projekt of the projekt, and we are committed to the projekt of the projekt (automatisch) Modelle Stehen und Wie Mitten Mitten der Aufwand Beim Nachweis der Sicherheitmodelle Reduziert Werden Kann。 DAMIT SOLL DAS PROJEKT UMSICHT方法和Techniken Bereitstellen，Mitten Dann der Nachweis vertraulichkeitsorientientierterter sicherheitseigenschaften mittels hormerer metsormer metherer方法auf verschiedenen speziedenen spezifikifikifikatikatikatikatikationsebeneen erestebeneenerestMöglich野生。