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
Corporate Author:
Carnegie Mellon University Software Engineering Institute Pittsburgh United States
Report Date:
2018-01-01
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.
Descriptive Note:
Technical Report
Pages:
0030
Distribution Statement:
Approved For Public Release;
Contract Number:
FA8702-15-D-0002
File Size:
1.26MB
