Stateful authorization logic - Proof theory and a case study.

Deepak Garg Frank Pfenning

Published in: J. Comput. Secur. (2012)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
special case
logical equivalence
belief revision