The scope of a logic of authentication

DIMACS Series in Discrete Mathematics and Theoretical Computer Science - Distributed Computing and Cryptography ◽

10.1090/dimacs/002/07 ◽

1991 ◽

pp. 1-1

Author(s):

Michael Burrows ◽

Martín Abadi ◽

Roger Needham

Download Full-text