A logic of authentication, from proceedings of the royal society, volume 426, number 1871 (1989)

by Michael Burrows, Martín Abadi, Roger Needham