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,
}