Self-Checking Software for Information Assurance
AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH EMBEDDED INFORMATION SYSTEMS BRANCH
Pagination or Media Count:
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.
- Information Science
- Command, Control and Communications Systems