Research Catalog
The modelling and analysis of security protocols : the CSP approach
- Title
- The modelling and analysis of security protocols : the CSP approach / P.Y.A. Ryan and S.A. Schneider with M.H. Goldsmith, G. Lowe and A.W. Roscoe.
- Author
- Ryan, Peter, PhD.
- Publication
- Harlow ; New York : Addison-Wesley, 2001.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.9.A25 R93 2001 | Off-site |
Details
- Additional Authors
- Schneider, S. A. (Steve A.)
- Description
- xiv, 300 pages : illustrations; 24 cm
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 285-291) and index.
- ISBN
- 0201674718
- OCLC
- ocm45846840
- SCSB-4113209
- Owning Institutions
- Columbia University Libraries