Enforceable security policies
FB Schneider - ACM Transactions on Information and System Security …, 2000 - dl.acm.org
ACM Transactions on Information and System Security (TISSEC), 2000•dl.acm.org
A precise characterization is given for the class of security policies enforceable with
mechanisms that work by monitoring system execution, and automata are introduced for
specifying exactly that class of security policies. Techniques to enforce security policies
specified by such automata are also discussed.
mechanisms that work by monitoring system execution, and automata are introduced for
specifying exactly that class of security policies. Techniques to enforce security policies
specified by such automata are also discussed.
A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata are introduced for specifying exactly that class of security policies. Techniques to enforce security policies specified by such automata are also discussed.