Constraining Credential Usage in Logic-Based Access Control.

Lujo Bauer Limin Jia Divya Sharma

Published in: CSF (2010)

Keyphrases

logic programming
modal logic
neural network
multi valued
asynchronous circuits
real time
access control
automated reasoning
classical logic
predicate logic
dynamic logic