Security Annex Update, October 31, 2019

Abstract

Security Annex Standard: presents the OSATE/ALISA environment as an exemplar for comprehensive policy/requirements documentation analysis and verification; includes security properties for classification and enforcement, property sets are user modifiable, example security components (e.g. key classifier); includes exemplar analysis methods and claims, Resolute and JAVA.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 31, 2019
Accession Number
AD1088892

Entities

People

  • Dave Gluch

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Authentication
  • Classification
  • Clearances
  • Cross Domain
  • Cryptography
  • Department Of Defense
  • Engineering
  • Guarantees
  • Information Security
  • Machine Learning
  • Materials
  • Security
  • Software Development
  • Standards
  • Universities

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Cybersecurity.
  • Neural Network Machine Learning.