Handbook of formal analysis and verification in cryptography. (2023)

• Record Type: Book
• Further Information: Note: Edited by Sedat Akleylek, Besik Dundua.
• Editors: Akleylek, Sedat; Dundua, Besik
• 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.
• Edition: 1st
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2023
• Extent: 1 online resource (442 pages), illustrations (black and white)
• Subjects: 005.824; Cryptography -- Mathematics; Data encryption (Computer science) -- Mathematics
• Languages: English
• ISBNs: 9781000955491
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.