Security Annex Update, October 31, 2019
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Pagination or Media Count:
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.
- Computer Programming and Software