Michael Burrows, Martín Abadi, Roger M. Needham
A Logic of Authentication
SOSP, 1989.
@inproceedings{SOSP-1989-BurrowsAN, author = "Michael Burrows and Martín Abadi and Roger M. Needham", booktitle = "{Proceedings of the 12th ACM Symposium on Operating System Principles}", doi = "10.1145/74850.74852", isbn = "0-89791-338-8", pages = "1--13", publisher = "{ACM}", title = "{A Logic of Authentication}", year = 1989, }