Accession Number:

ADA026442

Title:

Protection Errors in Operating Systems: Validation of Critical Conditions

Descriptive Note:

Research rept.

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Personal Author(s):

Report Date:

1976-05-01

Pagination or Media Count:

36.0

Abstract:

This report describes a class of operating system protection errors known as insufficient validation of critical conditions, or simply validation errors, and outlines a scheme for finding them. This class of errors is recognized as a very broad one, lying outside the scope of the basic protection mechanisms of existing systems the extent of the problem is illustrated by a set of validation errors taken from current systems. Considerations for validity conditions and their attachment to variables and to various types of control points in procedures are explored, and categories of validation methods noted. The notion of criticality itself is analyzed, and criteria suggested for determining which variables and control points are most critical in the protection sense. Because a search for validation errors can involve substantial information processing, the report references existing or developing tools and techniques applicable to this task. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems Management and Standards
  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE