Jump to Content

A Logic of Authentication

Michael Burrows
Roger M. Needham
SOSP (1989), pp. 1-13

Abstract

Research Areas