The Security Model of Enhanced HDM

John Rushby

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


The Enhanced HDM Specification and Verification System being developed at SRI International includes an "MLS Checker" that automatically verifies the security of a certain class of system specifications.

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

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

Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page