Accession Number:

AD1088344

Title:

Automated Assurance of Security Policy Enforcement

Descriptive Note:

Technical Report

Corporate Author:

Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2017-01-01

Pagination or Media Count:

2.0

Abstract:

In this project, we demonstrate how the virtual system integration approach can be extended to address security concerns at the architecture level to complement code level security analysis.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE