Authentication: A Practical Study in Belief and Action.

Michael Burrows, Martn Abadi, Roger M. Needham

Browse the full TARK paper archive.