DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
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
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE