Work

Enforceable security policies

Year: 2000

Type: article

Abstract: 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.

Source: ACM Transactions on Information and System Security

DOI: 10.1145/353323.353382

Author: Fred B. Schneider

Institution: Cornell University

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: bronze