Self-Checking Software for Information Assurance
Abstract
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 USAF Self- Checking Embedded Information System Software (SCEISS) program, we have begun studying the feasibility of using checkers to enhance the information assurance of a system. In this paper, various problems in information assurance are presented, along with examples of how checkers might be applied as solutions. The feasibility of using checkers to solve these problems is analyzed and the benefits of using checkers instead of, or in conjunction with, more traditional methods of information assurance are assessed. We conclude with our near term plans to demonstrate and validate the use of checkers for information assurance in a realistic C2 application.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2000
- Accession Number
- ADA461423
Entities
People
- Carolyn Boettcher
- Mark Kuckelman
- Roberta Gotfried
- Tod Reinhart
Organizations
- Air Force Research Laboratory