Title :
High assurance computing software technology requirements
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
Abstract :
An overview of the technology needed to support the development of high-assurance software is given. The discussion is based on extending methods and tools that have been used successfully to construct systems which enforce a confidentiality property. Experience has shown that the use of formal methods, highly structured designs and rigorous testing in combination can result in systems that can enforce confidentiality with a high degree of assurance. This technology aids in the correct implementation of the desired property and provides a means of transferring assurance of its correct operation to parties not directly associated with its development by providing a clear understanding of the requirements and the design of the system
Keywords :
program testing; quality control; security of data; software reliability; confidentiality property; formal methods; high-assurance software; highly structured designs; rigorous testing; software technology requirements; Access control; Application software; Availability; Fault tolerant systems; Formal specifications; Hardware; Laboratories; Operating systems; Safety; System testing;
Conference_Titel :
Computer Assurance, 1991. COMPASS '91, Systems Integrity, Software Safety and Process Security. Proceedings of the Sixth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-0126-9
DOI :
10.1109/CMPASS.1991.161044