Formal Verification for Mission Assurance in Cyberspace: Education, Tools, and Results

Author:
Shiu-Kai Chin, Erich Devendorf, Sarah Muccio, Susan Older, James Royer
File Size:
625.12 kB
Date:
01 July 2012
Downloads:
1252 x

Mission assurance is the assurance of the correctness,integrity, security, and availability of critical capabilities necessary to complete a mission successfully. National security depends on the integrity of command and control for military systems, the power grid, and financial systems. Thus, the alarming lack of personnel capable of doing mathematically rigorous specification, design, verification, testing, and procurement of trustworthy systems is a national weakness with profound implications for national security. This paper reports the results of a pilot program at the undergraduate level whose objectives include equipping undergraduate computer engineers and computer scientists with the theory, methods, and tools necessary for formal specification and verification of mission-essential functions in cyberspace.

Formal Verification for Mission Assurance in Cyberspace: Education, Tools, and Results