Sign in
Non-Interference in Constructive Authorization Logic.
Deepak Garg
Frank Pfenning
Published in:
CSFW (2006)
Keyphrases
</>
access control
logic programming
fine grained
modal logic
conflict resolution
multi valued
classical logic
knowledge base
security policies
security requirements
automated reasoning
computational properties
role based access control
predicate logic
usage control