home
>
book reviews
> Michael Goldsmith
Google >
Michael Goldsmith
author : Michael Goldsmith
Books
The Modelling and Analysis of Security Protocols
. 2001,
with
Peter Y. A. Ryan
,
Steve Schneider
,
Gavin Lowe
,
A. W. Roscoe
Short works
occam transformation at Oxford. 1988.
(In
Parallel Programming of Transputer Based Machines
)
Books : reviews
Peter Y. A. Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, A. W. Roscoe.
The Modelling and Analysis of Security Protocols
: the CSP approach
.
Addison Wesley. 2001