Treffer: SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
Title:
SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
Authors:
Contributors:
Rockwell Collins Cedar Rapids United States
Publication Year:
2017
Subject Terms:
Computer Programming and Software, Computer Systems Management and Standards, denial of service attack, cyberattacks, computer access control, COMPUTER PROGRAM VERIFICATION, software development, control systems engineering, system software, operating systems, debugging, computer security, Cybersecurity, software assurance, formal methods, smaccm(Secure Mathematically-Assured Composition of Control Models), manag, archi
Document Type:
Fachzeitschrift
text
Language:
English
Availability:
Rights:
undefined
Accession Number:
edsbas.29F64902
Database:
BASE
Weitere Informationen
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.