Accession Number:

AD1084378

Title:

Architecture-Level Security Concerns in a Safety Critical System

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2018-01-01

Pagination or Media Count:

30.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE