The Modelling and Analysis of Security Protocols: The Csp Approach
Language: English
Published by Addison-Wesley, 2000
- Softcover
- Used
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
AbeBooks seller since July 2, 2009
Condition: Used - Very good
US$ 45.71
Quantity: 1 available
Add to basketItem description from seller
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Seller Inventory # G0201674718I4N00
- Title
- The Modelling and Analysis of Security Protocols: The Csp Approach
- Author
- P. Y. A. Ryan; S. A. Schneider; M. H. Goldsmith; G. Lowe; A. W. Roscoe
- Publisher
- Addison-Wesley
- Publication year
- 2000
- Condition
- Very Good
- Dust jacket
- No Jacket
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0201674718
- ISBN 13
- 9780201674712
- Item weight
- 0.6 pounds
"Synopsis" may belong to another edition of this title.
About the Author
Peter Ryan has over 15 years' experience in cryptography and mathematical modelling, computer security and formal methods, gained at GCHQ, CESG, DERA and SRI Cambridge. He is an IMA Fellow and Chair of the Steering Committee of ESORICS. In 1999 he was awarded the title of DERA Fellow.
Steve Schneider is a Senior Lecturer in the Department of Computer Science, Royal Holloway, University of London UK, has published a large number of journal and conference papers in the areas of concurrency theory and security.
Michael Goldsmith is Managing Director of Formal Systems (Europe) Ltd, the company which developed the FDR tool and devised the techniques described in the book in collaboration with DERA and the University of Oxford. He is a Senior Research Fellow of Worcester College, Oxford.
Gavin Lowe is a Lecturer in Computer Science at the University of Oxford. He was responsible for discovering the attack on the Needham-Schroeder Public-Key protocol, which established the power of the current approach.
Bill Roscoe is Professor of Computing Science at the University of Oxford. He is one of the principal developers of CSP and of its application to cryptoprotocols and other aspects of computer security.
0201674718AB04062001
"About the title" may belong to another edition of this title.
ThriftBooks-Dallas
Dallas, TX, U.S.A.
AbeBooks seller since July 2, 2009
Shipping rates within U.S.A.
| Item | 4 to 8 business days | 4 to 8 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
ThriftBooks is a fully independent seller of used books, having sold more than 160 million used and new books since we started in 2003. Each quality used book is sorted, graded, shelved and shipped by hand by our team of dedicated employees in our seven warehouses across the US. We have the best selection of books, in the right condition and format, at everyday low prices. We also have a dedicated, US-based Customer Service team, ranked in the top three by Newsweek for Best Customer Service in 2018 and 2019, so you can shop with confidence. We support and invest in our employees, appreciate and value our customers, and truly believe in the power of the written word to educate, energize, and engage readers of all ages and interests.…
Seller's business information
Thrift Books Global LLC
18300 Cascade Ave S
Seattle, WA U.S.A. 98188
Terms of sale
We guarantee each book that we send you. If you have any problems, please contact
our dedicated customer service department. They will do everything possible to
ensure you are happy with your order.
Shipping terms
All domestic Standard shipments are distributed from our warehouses by OSM, then handed off to the USPS for final delivery.
2-Day Shipping is delivered by FedEx, which does not deliver to PO boxes.
International shipments are tendered to the local postal service in the destination country for final delivery – We do not use courier services for international deliveries.