SBIR/STTR Award attributes
Even in open architectures such as Open Mission Systems (OMS), defects in the message encoding and decoding process within, and between, systems present a significant cyber security vulnerability for Air Force operations. The Phase II goal of this project will be to create a bandwidth optimized capability for automatically generating efficient and correct (i.e. formally-verified) program source code (e.g. C++) from human-friendly specifications for deserialization and serialization operations within system communications. The result of this project will support a multitude of current and future systems, including those that rely on open architectures, by greatly reducing potential cyber security risks and supporting the security of airborne communications.
