A Linear Time Algorithm for Deciding Security.
Abstract
The take-grant security system is introduced. Active security agents (subjects) and passive entities (objects) are recognized. A linear time algorithm for recognizing security violations follows from three conditions presented that are proved to be necessary and sufficient for system security. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1976
- Accession Number
- ADA039473
Entities
People
- Anita K. Jones
- Lawrence H Snyder
- Richard J. Lipton
Organizations
- Yale University