Secure mathematically-assured composition of control models
user-5dd52aee530c701191bf1b99(2017)
Abstract
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.
MoreTranslated text
Key words
Software system,System software,Component-based software engineering,Software development,Systems architecture,Verifiable secret sharing,Software,Computer access control,Computer science,Software engineering
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined