Automated Assurance of Security Policy Enforcement

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1088344

Entities

People

  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Acquisition
  • Avionics
  • Copyrights
  • Cryptography
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Information Security
  • Materials
  • Procurement
  • Security
  • Software Development
  • Specifications
  • Universities
  • Vulnerability

Fields of Study

  • Computer science

Readers

  • Cybersecurity.