ePrints

The Modelling and Analysis of Security Protocols: the CSP Approach

Lookup NU author(s): Professor Peter Ryan

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Ryan PYA, Schneider SA, Goldsmith MH, Lowe G, Roscoe AW

Publication type: Authored Book

Publication status: Published

Edition: 1st

Year: 2001

Number of Pages: 300

Publisher: Addison-Wesley

Place Published: Harlow, London, UK

Library holdings: Search Newcastle University Library for this item

ISBN: 9780201674712

Share