SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 27, 2017
Accession Number
AD1039782

Entities

People

  • Adam Foltzer
  • Andrew Gacek
  • Brett Wilson
  • Daniel Dacosta
  • Darren Cofer
  • Douglas Stuart
  • Gernot Heiser
  • Gerwin Klein
  • Ihor Kuz
  • Jason Grahan
  • John Backes
  • Lee Pike
  • Michael J. Whalen
  • Michal Podhradsky

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • C4I
  • Cyber
  • Engineered Resilient Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Aircrafts
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Control Systems Engineering
  • Cyberattacks
  • Debugging
  • Ground Control Stations
  • Instruction Set Architecture
  • Operating Systems
  • Software Design
  • Software Development
  • System Software
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Software Engineering.

Technology Areas

  • Cyber