Login / Signup
A Hierarchical Policy Specification Language and Enforcement Mechanism for Governing Digital Enterprises.
Xuhui Ao
Naftaly H. Minsky
Thu D. Nguyen
Published in:
POLICY (2002)
Keyphrases
</>
specification language
formal specification
programming language
description language
software environment
requirements specification
access control
privacy policies
symbolic execution
knowledge representation
optimal policy
access control policies
policy enforcement