Automated Assurance of Security Policy Enforcement (AASPE)

Abstract

Viewgraph/Briefing Charts

Open PDF

Document Details

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

Entities

People

  • Peter Feiler
  • Sam Proctor

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Aircraft Models
  • Authentication
  • Demographic Cohorts
  • Department Of Defense
  • Engineering
  • Information Security
  • Materials
  • Models
  • Safety
  • Safety Analysis
  • Security
  • Software Development
  • Specifications
  • Universities
  • Verification
  • Vulnerability
  • Weapon Control