The key to achieving information dominance by the US armed forces is the transmittal of accurate and timely information to the warfighter when and where it is needed. Information Assurance (IA) is the foundation for ensuring that critical information is both accurate and timely. However, innovative approaches are needed to achieve high levels of information assurance for military applications such as command and control (C2). An adaptation of theoretical checker results derived from the research of Dr. Manuel Blum at the University of California at Berkeley has been applied to several real-life applications at Raytheon with promising results. Under the United States Air Force (USAF) Self-Checking Embedded Information System Software (SCEISS) program, we have begun applying checkers to enhance the IA of a system. In this paper, we present examples of how checkers might be applied as solutions to IA problems and we assess the benefits of using checkers instead of, or in conjunction with, more traditional IA methods. We conclude with near term plans to demonstrate and validate the use of checkers for IA in a realistic C2 application.
Self-checking software for information assurance in the 21st century
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126) ; 1 ; 1B5/1-1B5/7 vol.1
01.01.2000
686325 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Self-Checking Software for Information Assurance in the 21^s^t Century
British Library Conference Proceedings | 2000
|NTRS | 1986
|Irrigation Software: Farming in the 21st Century
British Library Online Contents | 1995
SYSTEMS & SOFTWARE: MDM: Process automation for the 21st century
Online Contents | 1997
British Library Online Contents | 2008
|