Handbook of formal analysis and verification in cryptography

Author(s)

    • Akleylek, Sedat
    • Dundua, Besik

Bibliographic Information

Handbook of formal analysis and verification in cryptography

edited by Sedat Akleylek, Besik Dundua

（Prospects in pure and applied mathematics）

CRC Press, 2024

  • : hbk

Available at  / 1 libraries

Search this Book/Journal

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"

Details

Page Top