Detail Image
click to view more

Handbook of Formal Analysis and Verification in Cryptography

by

$78.73

List Price: $82.99
Save: $4.26 (5%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Tuesday, July 22, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols.

Last updated on

Product Details

  • CRC Press Brand
  • Dec 19, 2024 Pub Date:
  • 0367546663 ISBN-10:
  • 9780367546663 ISBN-13:
  • English Language
  • 9.21 in * 1 in * 6.14 in Dimensions:
  • 1 lb Weight: