Automated Assurance of Security Policy Enforcement (AASPE)

reportActive / Technical Report | Accession Number: AD1088226 | Open PDF

Abstract:

ViewgraphBriefing Charts

Author(s):
Feiler, Peter ; Proctor, Sam
Author Organization(s):
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Descriptive Note:
Technical Report
Pagination:
0011

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release;

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
DM17-0788
Contract/Grant Number(s):
FA8702-15-D-0002
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.5.1_Communicate Intent and Guidance; JCA_5.5_Direct; JCA_1.2_Force Preparation; JCA_1_Force Support; JCA_1.2.3_Educating; JCA_5.3_Planning; JCA_6_Net Centric; JCA_4.6_Engineering; JCA_3.2_Engagement; JCA_3_Force Application; JCA_6.4_Information Assurance; JCA_1.4_Force Support; JCA_3.2.2_Non-Kinetic Means
Modernization Areas:
Cyber
Communities of Interest:
Cyber
Descriptor(s):
software development, department of defense, security, engineering, standards, demographic cohorts, verification, specifications, language, environment, cybersecurity, communities, avionics, formal languages
Field(s)/Group(s):
Defense Systems, Information Science, Computer Systems Management and Standards, Cybernetics
Keyword(s):
AASPE(Automated Assurance of Security Policy Enforcement), Security Challenges, Safety Critical Systems, Relevance for the DoD warfighter, Relevance to state of the art, Expected DoD practice improvements, complement code level security analysis
Report Date:
2016 Jan 01
Creation Date:
2020 Jan 03