Architecture-Level Security Concerns in a Safety Critical System

Abstract

AADL Primer. Safety in AADL: Background, ALISA + EMV2, Why generate reports? Security in AADL: Background, AADL and MILS, Security Policy Specification and Enforcement. Safety + Security: Effects focus, Code generation, Slicing and Data-Flow.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2018
Accession Number
AD1084378

Entities

People

  • Sam Procter

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber
  • Sensors

DTIC Thesaurus Topics

  • Coding
  • Computer Access Control
  • Copyrights
  • Cryptography
  • Decoding
  • Demographic Cohorts
  • Department Of Defense
  • Engineering
  • Failure Mode And Effect Analysis
  • Fault Tree Analysis
  • Language
  • Materials
  • Safety
  • Security
  • Software Development
  • Specifications
  • Universities

Fields of Study

  • Computer science

Readers

  • Integrated Circuit Design and Technology.
  • Software Engineering.