A Logic of Authentication

Michael Burrows
Roger M. Needham
ACM Trans. Comput. Syst., 8 (1990), pp. 18-36

Abstract