Binary-Protocol Investigation of Specifications Operationalizing Narcissus (BISON)

Even in Open Architectures such as Open Mission Systems (OMS), insecurities in the encoding and decoding processes of messages within and between systems presents a significant security cyber vulnerability for Air Force operations. The Phase II goal of this project will be to create an OMS-compliant 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. Tangram and Purdue University will leverage their past experiences with commercializing and transitioning technology by incorporating capabilities created by Purdue into the Tangram Pro™ toolkit, which has already been successful in transitioning Air Force, Navy, and DARPA technology from university and research companies to engineers at DoD Primes.