Handbook of Formal Analysis and Verification in Cryptography

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.

General

Imprint:	Crc Press
Country of origin:	United Kingdom
Series:	Prospects in Pure and Applied Mathematics
Release date:	September 2023
First published:	2024
Editors:	Sedat Akleylek • Besik Dundua
Dimensions:	234 x 156mm (L x W)
Pages:	442
ISBN-13:	978-0-367-54665-6
Categories:	Books
LSN:	0-367-54665-5
Barcode:	9780367546656

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!