Publisher List Price:
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.
Subject: Professional, Career & Trade -> Computer Science -> Security