Accession Number : AD1039782


Title :   SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS


Descriptive Note : Technical Report,01 Aug 2012,01 Apr 2017


Corporate Author : Rockwell Collins Cedar Rapids United States


Personal Author(s) : Cofer,Darren ; Backes,John ; Gacek,Andrew ; DaCosta,Daniel ; Whalen,Michael ; Kuz,Ihor ; Klein,Gerwin ; Heiser,Gernot ; Pike,Lee ; Foltzer,Adam ; Podhradsky,Michal ; Stuart,Douglas ; Grahan,Jason ; Wilson,Brett


Full Text : http://www.dtic.mil/get-tr-doc/pdf?AD=AD1039782


Report Date : 27 Sep 2017


Pagination or Media Count : 134


Abstract : 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.


Descriptors :   denial of service attack , cyberattacks , computer access control , COMPUTER PROGRAM VERIFICATION , software development , control systems engineering , system software , operating systems , debugging , computer security , Cybersecurity


Subject Categories : Computer Programming and Software
      Computer Systems Management and Standards


Distribution Statement : APPROVED FOR PUBLIC RELEASE