Development of Security Software: A High Assurance Methodology
Development of Security Software: A High Assurance Methodology
复制标题
安全软件的开发：高保证方法
DOI：
10.1007/978-3-642-10373-5_14
复制
发表时间：
2009
影响因子：
22.7
通讯作者：
Rockwell Collins
中科院分区：
文献类型：
--
作者：
D. Hardin;T. D. Hiratzka;D. Johnson;Lucas G. Wagner;M. Whalen;Rockwell Collins
本文报告了一个项目，以锻炼，评估和增强为嵌入式系统控制器开发高保证软件的方法。在这种方法中，国家安全局的研究人员通过Z. Rockwell Collins中的功能规范精确，明确地捕获系统要求，然后使用基于模型的软件开发方法实现这些要求。开发工作得到了一个工具链的支持，该工具链提供了自动代码生成和支持正式验证的支持。特定系统是一个原型高速加密系统，尽管可以将控制器适用于多种关键系统中，在各种关键系统中，对正确性，可靠性以及安全性或安全性能的保证至关重要。
This paper reports on a project to exercise, evaluate and enhance a methodology for developing high assurance software for an embedded system controller. In this approach, researchers at the National Security Agency capture system requirements precisely and unambiguously through functional specifications in Z. Rockwell Collins then implements these requirements using an integrated, model-based software development approach. The development effort is supported by a tool chain that provides automated code generation and support for formal verification. The specific system is a prototype high speed encryption system, although the controller could be adapted for use in a variety of critical systems in which very high assurance of correctness, reliability, and security or safety properties is essential.