Adding Time to a Logic of Authentication.

Paul F. Syverson

Published in: CCS (1993)

Keyphrases

logic programming
modal logic
identity authentication
classical logic
predicate logic
genetic algorithm
multi valued
biometric authentication
factor authentication
databases
programming language
authentication scheme
epistemic logic
asynchronous circuits
authentication mechanism