Path: utzoo!yunexus!geac!syntron!jtsv16!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!agate!saturn!acornrc!glassman@ames.arc.nasa.gov
From: acornrc!glassman@ames.arc.nasa.gov (Steven Glassman)
Newsgroups: comp.os.research
Subject: Re: I read Needham and Shroeder
Message-ID: <5286@saturn.ucsc.edu>
Date: 27 Oct 88 17:08:11 GMT
Article-I.D.: saturn.5286
Sender: usenet@saturn.ucsc.edu
Organization: Olivetti Software Technology Laboratory, Palo Alto, CA
Lines: 36
Approved: comp-os-research@jupiter.ucsc.edu


In article <5256@saturn.ucsc.edu> fouts@lemming. (Marty Fouts) writes:
>
>Ten Years AGO.
>
>Can't any of you hot researchers find me a more recent reference. (;-)
>
>[ When you find a good reference, send them to me for posting.  --DL ]
>
>Look; where we are chosing to disagree is in how important the
>underlying assumptions are.  Many of you have sent (or posted)
>comments which include "assuming . . ."  Some of you have even pointed
>out some of the weaknesses in various assumptions.
>
[some stuff about assumptions deleted]
>
>Marty
>

I have two half references (that might add up to one real reference).

First, there are the preliminary proceeding from the Arctic88 Advanced Course
on Distributed Systems edited by Sape Mullender.  (Unfortunately, I don't
believe the final proceedings have been published yet).  The section on
cryptography (written by Roger Needham) presents some recent work (in the last
year or so) by Burrows, Abadi and Needham.  Needham mentions the work is
published, but doesn't include a specific reference. (Burrows and Needham are
from Cambridge and Abadi is from DEC SRC.  It isn't a DEC report, so I suspect
it must be a Cambridge report).

The work converts various authentication protocols into a system of statements
about the initial beliefs (assumptions) and derives the beliefs after the
protocol has run.

Steve Glassman
Olivetti Software Technology Laboratory
acornrc!glassman