Title :
Formal modeling in a generalized framework for access control
Author :
La Padula, Leonard J.
Author_Institution :
MITRE Corp., Bedford, MA, USA
Abstract :
The author reports preliminary results of formal modeling for computer security guided by the generalized framework for access control developed in the MITRE research project known as unified access control. This formal modeling approach differs from the traditional Bell-La Padula model in the way it defines and uses access control rules. This approach has one key new element compared to traditional approaches: the rules for access control are an entity that is separate from, although necessarily related to, the model of the TCB (trusted computing base) interface. This new approach allows greater flexibility in choosing and specifying security policies for a secure system
Keywords :
formal logic; security of data; Bell-La Padula model; MITRE research project; access control; computer security; formal modeling; trusted computing base; unified access control; Access control; Books; Computer security; Computer vision; Performance evaluation; Permission; US Department of Defense;
Conference_Titel :
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2071-4
DOI :
10.1109/CSFW.1990.128190
