[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

BAN logic

I just want to second Joe Tardo's recommendation of the Burrows, Abadi,
Needham paper ("A logic of authentication", ACM TOCS, Feb. 1990).  

Another closely related paper:

author =       {Butler Lampson and Mart\'in Abadi and Michael Burrows
               and and Edward Wobber},
title =        {Authentication in Distributed Systems: Theory and Practice},
journal =      {TOCS},
month =        Nov,
year =         1992,
volume =       10,
number =       4,
pages =        {265-310}

is also excellent and well worth reading.  I'd consider theese papers
as ``must'' background readings for this group...

        Ron Rivest