AADL Security Annex [Draft]

Abstract

This document describes the Architecture Analysis and Design Language Security Annex. The AADL Security Annex provides guidance and support for specifying, modeling, and analyzing a system's security characteristics within AADL architecture models. The approach presented in this document enables the engineering of secure cyber-physical systems using the AADL and supporting tool environments such as the Open Source AADL Tool Environment (OSATE).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2019
Accession Number
AD1088674

Entities

People

  • Dave Gluch

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber

DTIC Thesaurus Topics

  • Aircrafts
  • Authentication
  • Communication Systems
  • Computer Access Control
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Cross Domain
  • Cryptography
  • Cybersecurity
  • Department Of Defense
  • Information Security
  • Secure Communications
  • Security Protocols
  • Software Development
  • Transport Aircraft

Fields of Study

  • Computer science

Readers

  • Software Engineering.

Technology Areas

  • Cyber