A Logic of Authentication

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

Abstract

Research Areas