The Bell and La Padula Security Model

John Rushby

Draft Technical Note, June 1986


A precise description is given of the Bell and La Padula security model using modern notation. The development faithfully follows that of the original presentation (Mitre, 1973 and 1976). The paper is intended to provide a basis for more exact, formal, and scientific discussion of the model than has been the case heretofore.

PDF only.

BibTeX Entry

	TITLE = {The Bell and La Padula Security Model},
	AUTHOR = {John Rushby},
	ORGANIZATION = {Computer Science Laboratory, SRI International},
	ADDRESS = {Menlo Park, CA},
	MONTH = june,
	YEAR = 1986,
	NOTE = {Draft Technical Note}

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