Re: Priority modeling with CSP?

["P.H.Welch" <P.H.Welch@xxxxxxxxx>]

Forwarding from Steve Schneider ...

===========================================================================
Date: Mon, 28 Jan 2002 10:29:35 +0000 (GMT)
From: Steve Schneider <steve@xxxxxxxxxxxxx>
X-X-Sender: steve@xxxxxxxxxxxxxxxxxxxxx
To: dyke.stiles@xxxxxxxxxxxxxxxxxx
cc: "'occam/csp list'" <occam-com@xxxxxxxxx>
Subject: Re: Priority modeling with CSP?
In-Reply-To: <3C50F321.92C3C146@xxxxxxx>
Message-ID: <Pine.OSF.4.44.0201281017480.76-100000@xxxxxxxxxxxxxxxxxxxxx>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

On Thu, 24 Jan 2002, G.S.Stiles wrote:

> (I had just finished Ryan & Schneider's book on the use of CSP to check
> security protocols - which seem far more complex than the priority
> problem...)

Just in passing... the authors of this book (Modelling and Analysis of
Security Protocols) are Ryan, Schneider, Goldsmith, Lowe, and Roscoe.

Steve