Protection Errors in Operating Systems: Inconsistency of a Single Data Value Over Time

Get BibTex-formatted data

Author

Richard Bisbey II, Gerald Popek, Jim Carlstedt

Entry type

techreport

Abstract

This report describes a pattern-based approach for finding a general class of computer operating system errors characterized by the inconsistency of a data value between pairs of references. A formal description of the error class is given, both as a protection policy being enforced and as a violation of that policy, i.e., an error statement. A particular subclass of the general error class is then examined, i.e., those errors in which the data type is a parameter. A formal specification of a procedure for finding instances of the subclass is given with examples of errors found using the procedure.

Institution

University of Southern California

Key alpha

Bisbey

Affiliation

Information Sciences Institute

Publication Date

0000-00-00

Keywords

critical function, inconsistent parameter, normalized representation, operating system security, protection policy, search process

Language

English

Location

A hard-copy of this is in the Papers Cabinet

Subject

pattern-based error detection

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

@Techreport{ Bisbey,
	title = "Protection Errors in Operating Systems: Inconsistency of a Single Data Value Over Time",
	author = "Richard Bisbey II, Gerald Popek, Jim Carlstedt",
	institution = "University of Southern California",
	abstract = "This report describes a pattern-based approach for finding a general class of computer operating system errors characterized by the inconsistency of a data value between pairs of references. A formal description of the error class is given, both as a protection policy being enforced and as a violation of that policy, i.e., an error statement. A particular subclass of the general error class is then examined, i.e., those errors in which the data type is a parameter. A formal specification of a procedure for finding instances of the subclass is given with examples of errors found using the procedure.",
	affiliation = "Information Sciences Institute",
	keywords = "critical function, inconsistent parameter, normalized representation, operating system security, protection policy, search process",
	language = "English",
	subject = "pattern-based error detection",
}