Jump to Content

A Logic of Authentication

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

Abstract

Research Areas