Handbook of formal analysis and verification in cryptography
Author(s)
Bibliographic Information
Handbook of formal analysis and verification in cryptography
(Prospects in pure and applied mathematics)
CRC Press, 2024
- : hbk
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Contents of Works
- 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.
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"