SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
Technical Report,01 Aug 2012,01 Apr 2017
Rockwell Collins Cedar Rapids United States
Pagination or Media Count:
The Secure Mathematically-Assured Composition of Control Models project SMACCM has developed new tools for building UAV software that is provably secure against many classes of cyber-attack. The goal of the project is to provide verifiable security that is, system designs which provide the highest levels of confidence in their security based upon verifiable evidence. The SMACCM team has developed system architecture models, software components for mission and control functions, and operating system software, all of which are mathematically analyzed to ensure key security properties.
- Computer Programming and Software
- Computer Systems Management and Standards