Skip to content
Home/ Handbook of Formal Analysis and Verification in Cryptography
Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

No customer reviews yet ISBN 9780367546663 CRC Press

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.

About the author

Product details

BrandCRC Press
Pub dateDec 19, 2024
ISBN-100367546663
ISBN-139780367546663
LanguageEnglish
Dimensions9.21 × 1 × 6.14 in
Weight1 lb
Last updated 2026-03-16 15:43
$95.93
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Industrial Engineering
See all
Pipe Trades Pocket Manual (Revised)
McGraw Hill
$26.40
Water Treatment Essentials for Boiler Plant Operation
Nunn, Robert G
$86.58
Six SIGMA Financial Tracking and Reporting: Measuring Project Performance and P&l Impact
Bremer, Michael
$105.64
Maintenance Benchmarking and Best Practices
Peters, Ralph W
$93.86
Integrated Project Management
Barkley, Bruce T
$101.14
Computerized Maintenance Management Systems Made Easy: How to Evaluate, Select, and Manage Cmms
Bagadia, Kishan
$108.41