Handbook of formal analysis and verification in cryptography
著者
書誌事項
Handbook of formal analysis and verification in cryptography
（Prospects in pure and applied mathematics）
CRC Press, 2024
- : hbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
収録内容
- Development of cryptography since Shannon
- Introduction to formal methods for the analysis and design of cryptographic protocols
- An introduction to tools for formal analysis of cryptographic protocols
- Formal verification of cryptographic protocols with Isabelle/HOL
- Formal modelling and security analysis of security protocols
- Cryptographic Web applications : from security engineering to formal analysis
- Formal methods for quantum algorithms.
内容説明・目次
内容説明
Discusses how formal analysis of cryptographic protocols is very important for securing communication and processing information
Introduces the reader to several formal verification methods and software commonly used today
Covers general knowledge on cryptographic primitives and formal reasoning as basic blocks to understanding protocols
Focuses on post-quantum cryptographic schemes
Presents how this topic is significant in daily life such as online banking, instant messaging, etc.
目次
1. Development of Cryptography since Shannon. 2. Introduction to Formal Methods for the Analysis and Design of Protocols. 3. An Introduction to Tools for Formal Analysis of Cryptographic Protocols. 4. Formal Verification of Cryptographic Protocols with Isabelle/HOL. 5. Formal Modelling and Security Analysis of Security Protocols. 6. Cryptographic Web Applications: from Security Engineering to Formal Analysis. 7. Formal Methods for Quantum Algorithms.
「Nielsen BookData」 より
