John Rushby

Proceedings 7th DoD/NBS Computer Security Conference, Gaithersburg, Maryland, September 24-26, 1984 (pp. 120--136)

Abstract

This paper gives a brief and informal overview of the security model on which the MLS checker is based and discusses its application and its relationship to other security models and to the requirements of the DoD Trusted Computer System Evaluation Criteria.

PDF only

BibTeX Entry

@inproceedings{Rushby84:HDM,
	AUTHOR = {John Rushby},
	BOOKTITLE = {Proceedings 7th DoD/NBS Computer Security Initiative
		Conference},
	TITLE = {The Security Model of {Enhanced HDM}},
	ADDRESS = {Gaithersburg, MD},
	PAGES = {120--136},
	YEAR = 1984,
	MONTH = sep
}