A Logic of Authentication.

Michael Burrows Martín Abadi Roger M. Needham

Published in: SOSP (1989)

Keyphrases

logic programming
modal logic
user authentication
fragile watermarking
multi valued
asynchronous circuits
authentication scheme
biometric authentication
proof theory
integrity verification
neural network
automated reasoning
computational properties
linear logic
identity authentication
factor authentication