A Practically Implementable and Tractable Delegation Logic.

Ninghui Li Benjamin N. Grosof Joan Feigenbaum

Published in: IEEE Symposium on Security and Privacy (2000)

Keyphrases

classical logic
access control
np complete
automated reasoning
modal logic
conflict resolution
computational properties
proof theory
digital circuits
temporal logic
np hard
multi agent systems
computational problems
cooperative
truth values
epistemic logic
asynchronous circuits
real time