Automated Assurance of Security Policy Enforcement
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
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.
- Computer Programming and Software