Pattern-Directed Protection Valuation
Abstract
Because of the urgent security requirements in many existing general- purpose operating systems, the large investment committed to such systems, and the large number of protection errors embedded in them, the problem of finding such errors is one of major importance. This report presents an approach to this task, based on the premise that the effectiveness of error searches can be greatly increased by techniques that use 'patterns', i.e., formalized descriptions of error types. It gives a conceptual overview of the pattern- directed evaluation process and reports the authors' initial experience in formulating patterns from the analysis of protection errors previously detected in various systems, as well as in applying the pattern-directed technique.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1975
- Accession Number
- ADA012474
Entities
People
- Gerald Popek
- Jim Carlstedt
- Richard Bisbey Ii
Organizations
- University of Southern California