A Complete Logic of Authentication.

Miroslaw Kurkowski

Published in: ACS (2001)

Keyphrases

database
artificial intelligence
modal logic
predicate logic
real time
data sets
logic programming
inference rules
automated reasoning
logical framework
biometric authentication
deontic logic
multimodal biometrics
identity authentication
fragile watermarking