DocumentCode
3172524
Title
Formal policies for trusted processes
Author
Landauer, J. ; Redmond, T. ; Benzel, T.
fYear
1989
fDate
11-14 Jun 1989
Firstpage
31
Lastpage
40
Abstract
A state machine model is introduced for trusted processes. It makes explicit use of the notion of locking part of the state space in order to allow privileged actions to overlap. The model controls the interaction between overlapping actions by restricting the events that can change the locks, using the locks to restrict which events can change which parts of the state space, and preventing the initiation of actions that would interfere with currently executing ones
Keywords
automata theory; database theory; formal specification; security of data; locking; overlapping actions; privileged actions; state machine model; state space; trusted processes; Access control; Databases; Information systems; Interleaved codes; Kernel; Mediation; Monitoring; Security; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location
Franconia, NH
Type
conf
DOI
10.1109/CSFW.1989.40584
Filename
40584
Link To Document