"A Logic of Authentication."

Michael Burrows, Martín Abadi, Roger M. Needham (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics