Pierre writes:
I'm pretty sure I saw somewhere a companion paper titled something like "An algebra of authentication"... hmmm maybe even in CACM... [...15 minutes later...] Unfortunately some of my CACMs are in hiding and not properly indexed... It was work done at DEC SRC in Palo Alto, there must be some research reports too.
If somebody has refs for any of these, it would be great if you'd post them.
http://ftp.digital.com/pub/DEC/SRC/research-reports/abstracts/src-rr-039.htm... SRC Research Report 39 A Logic of Authentication Michael Burrows, Martin Abadi, and Roger Needham February 28, 1989 48 pages http://ftp.digital.com/pub/DEC/SRC/research-reports/abstracts/src-rr-070.htm... SRC Research Report 70 A Calculus for Access Control in Distributed Systems M. Abadi, M. Burrows, B. Lampson, G. Plotkin March 4, 1991 52 pages http://ftp.digital.com/pub/DEC/SRC/research-reports/abstracts/src-rr-083.htm... SRC Research Report 83 Authentication in Distributed Systems: Theory and Practice Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber February 4, 1992 http://ftp.digital.com/pub/DEC/SRC/research-reports/abstracts/src-rr-117.htm... SRC Research Report 117 Authentication in the Taos Operating System Edward Wobber, Martin Abadi, Mike Burrows, and Butler Lampson December 10, 1993 38 pages