Sign in

Constraining Credential Usage in Logic-Based Access Control.

Lujo BauerLimin JiaDivya 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