A semantics for a logic of authentication (extended abstract)

Martín Abadi, Mark R. Tuttle
1991 Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91  
Burrows, Abadi, and Needham have proposed a logic for the analysis of authentication protocols. It is a logic of belief, with special constructs for expressing some of the central concepts used in authentication. The logic has revealed many subt Ieties and serious errors in published protocols. Unfortunately, it has also created some confusion.
doi:10.1145/112600.112618 dblp:conf/podc/AbadiT91 fatcat:w2djaelwzjecpgjelzdjotemha