株式会社極東書店トップ ＞ 商品一覧 ＞ The Joy of Cryptography: An Undergraduate Course in Provable Security.
商品詳細
The Joy of Cryptography: An Undergraduate Course in Provable Security.
・ISBN 978-0-262-04997-9 hard US$ 85.00
￥19,915.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Rosulek, Mike, |
|---|---|
| 出版社 | (MIT Press, US) |
| 出版年月 | 2026 |
| ページ数 | 704 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-46704＞ |
解説
A comprehensive introduction to the fundamentals of provable security for advanced undergraduates.
This accessible textbook provides a comprehensive introduction to the algorithms that keep our digital lives safe-how they work, what makes them different, and why they are secure. Mike Rosulek focuses on provable security-the process of defining what it means to be secure and mathematically proving security properties-to demystify the study of cryptography. Writing with clarity and humor, Rosulek covers basic building blocks before moving to symmetric-key encryption and authentication, public-key cryptography, and advanced topics. Employing a novel pseudocode-based approach to learning provable security and security proofs, The Joy of Cryptography empowers anyone with a small amount of programming experience to reason formally about security properties.
This accessible textbook provides a comprehensive introduction to the algorithms that keep our digital lives safe-how they work, what makes them different, and why they are secure. Mike Rosulek focuses on provable security-the process of defining what it means to be secure and mathematically proving security properties-to demystify the study of cryptography. Writing with clarity and humor, Rosulek covers basic building blocks before moving to symmetric-key encryption and authentication, public-key cryptography, and advanced topics. Employing a novel pseudocode-based approach to learning provable security and security proofs, The Joy of Cryptography empowers anyone with a small amount of programming experience to reason formally about security properties.
- Uses pseudocode-based reasoning to make provable security accessible to undergraduates
- Focuses on proven methods used in practice today
- Offers rigorous treatment of symmetric-key and public-key encryption and authentication
- Includes advanced material on encrypted messaging, post-quantum cryptography, and zero-knowledge proofs
- Features ancillary resources