Secure Communicating Systems Design, Analysis, and Implementation |
|
Author:
| Huth, Michael R. A. |
ISBN: | 978-0-521-80731-9 |
Publication Date: | Aug 2001 |
Publisher: | Cambridge University Press
|
Book Format: | Hardback |
List Price: | USD $99.99 |
Book Description:
|
This text for advanced undergraduate and beginning graduate students tells what every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs. Highlights include a detailed description of the new AES Rijndael and a practical implementation of optimal RSA. A novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols.
This text for advanced undergraduate and beginning graduate students tells what every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs. Highlights include a detailed description of the new AES Rijndael and a practical implementation of optimal RSA. A novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols.