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

BAN logic

To: spki@c2.org
Subject: BAN logic
From: rivest@theory.lcs.mit.edu (Ron Rivest)
Date: Thu, 29 Feb 96 20:48:22 EST
Sender: owner-spki@c2.org


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:

@article{LampsonAbBuWo92,
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...

        Cheers,
        Ron Rivest

Prev by Date: automated processing of generalized certificates
Next by Date: Re: CRLs versus short Validity periods
Prev by thread: Re: automated processing of generalized certificates
Next by thread: Certs // RW vs CS
Index(es):
- Main
- Thread