The Bell and La Padula Security Model
John Rushby
Draft Technical Note, June 1986
Abstract
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
@MANUAL{Rushby86:BLP,
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