Handbook of Formal Analysis and Verification in Cryptography 9780367546656, 9780367546663, 9781003090052
181 63 11MB
English Pages 446 Year 2024
Table of contents :
Cover
Half Title
Series Page
Title Page
Copyright Page
Contents
Foreword
Preface
Contributors
Readers
Chapter 1: Development of Cryptography since Shannon
Chapter 2: Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
Chapter 3: An Introduction to Tools for Formal Analysis of Cryptographic Protocols
Chapter 4: Formal Verification of Cryptographic Protocols with Isabelle/HOL
Chapter 5: Formal Modeling and Security Analysis of Security Protocols
Chapter 6: Cryptographic Web Applications: from Security Engineering to Formal Analysis
Chapter 7: Formal Methods for Quantum Algorithms
Index
![Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I [1st ed.]
9783030613617, 9783030613624](https://dokumen.pub/img/200x200/leveraging-applications-of-formal-methods-verification-and-validation-verification-principles-9th-international-symposium-on-leveraging-applications-of-formal-methods-isola-2020-rhodes-greece-october-2030-2020-proceedings-part-i-1st-ed-9783030613617-9783030613624.jpg)
