Title: The Scope of a Logic of Authentication  
Authors: Michael Burrows  Martin Abadi  Roger Needham    
File name:pubdocauthenticationSRC-039-appendix.ps.Z  
File size: 43100 bytes 

Abstract: SRC Research Report 39 was originally published on
February 28, 1989, and revised on February 22, 1990. This is an
appendix to the revised version.  The main body of the revised
version is available separately. (see SRC-039.ps)