A Logic for Analysing Subterfuge in Delegation Chains.

Hongbin Zhou Simon N. Foley

Published in: Formal Aspects in Security and Trust (2005)

Keyphrases

automated reasoning
modal logic
access control
logic programming
conflict resolution
multi valued
proof theory
artificial intelligence
predicate logic
role based access control
logical framework
probabilistic logic
security policies
classical logic
set theory
cross domain
programming language
expert systems