Accession Number:

AD1088892

Title:

Security Annex Update, October 31, 2019

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-10-31

Pagination or Media Count:

21.0

Abstract:

Security Annex Standard presents the OSATEALISA environment as an exemplar for comprehensive policyrequirements 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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE