Non-Discretionary Security Validation by Assignment.
Abstract
The assignment technique is a simple mathematical method for determining that a computer protection mechanism is sufficient to enforce specific security policies. The intrinsically inseparable relationship between protection mechanisms and security policies is established. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1981
- Accession Number
- ADA104634
Entities
People
- Lawrence Jay Shirley
Organizations
- Naval Postgraduate School