Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!agate!saturn!mcvax!cl.cam.ac.uk!scc@uunet.UU.NET
From: mcvax!cl.cam.ac.uk!scc@uunet.UU.NET (Stephen Crawley)
Newsgroups: comp.os.research
Subject: Re:  Re: I read Needham and Shroeder
Message-ID: <5322@saturn.ucsc.edu>
Date: 29 Oct 88 14:33:13 GMT
Sender: usenet@saturn.ucsc.edu
Organization: U of Cambridge Comp Lab, UK
Lines: 14
Approved: comp-os-research@jupiter.ucsc.edu


The reference for the Burrows, Adabi, Needham paper that Steve Glassman
mentioned is:

"Authentication: a practical study in belief & action"
  M Burrows, M Abadi, R Needham.
  Technical Report #138.  
  Cambridge University Computer Laboratory.  June '88
  
An earlier version of the paper can be found in:
Proceedings of the 2nd Conference on 
  Theoretical Aspects of Reasoning About Knowledge.
  held at Asilomar in February '88
  
-- Steve