The Modelling and Analysis of Security Protocols: the CSP Approach

Peter Ryan Steve Schneider Michael Goldsmith Gavin Lowe Bill Roscoe

Welcome to the web site which accompanies the book "The Modelling and Analysis of Security Protocols", published by Pearson Education, ISBN 0-201-67471-8.

From December 2010 an online version of the book has been made available for personal reference. It is also available for purchase from sites such as and

The material in the book is supported by the following tools:

This site also provides the following material (not maintained since December 2000):

Site maintained by Steve Schneider

Originally posted 13th December 2000; new links added 15th December 2010