A Logic For State Transformations in Authorization Policies.

Yun Bai Vijay Varadharajan

Published in: CSFW (1997)

Keyphrases

database
data sets
access control
access control policies
machine learning
information systems
logic programming
conflict resolution
multi valued
asynchronous circuits