Michael Burrows, MartÃn Abadi, Roger M. Needham. Authentication: A Practical Study in Belief and Action. In Moshe Y. Vardi, editor, Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988. pages 325-342, Morgan Kaufmann, 1988.
Abstract is missing.