Title :
An interpretation of a refined Bell-La Padula model for the TMach kernel
Author_Institution :
Trusted Inf. Syst. Inc., Glenwood, MD, USA
Abstract :
The author discusses an interpretation of the Bell-La Padula (BLP) model (1973) for the Trusted Mach (TMach) kernel. The BLP model is reviewed along with specific refinements to the discretionary-security property, *-property, the notion of trusted subjects and activation. A correspondence between the revised BLP model and the abstractions provided by the TMach kernel was demonstrated
Keywords :
operating systems (computers); security of data; TMach kernel; activation; discretionary-security property; trusted subjects; Containers; Contracts; Data security; File servers; Information systems; Kernel; Mathematical model; Memory management; Operating systems; Prototypes;
Conference_Titel :
Aerospace Computer Security Applications Conference, 1988., Fourth
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-0895-1
DOI :
10.1109/ACSAC.1988.113335
