Placeholder text

Go to cart

Handbook of Formal Analysis and Verification in Cryptography

By Sedat Akleylek

Handbook of Formal Analysis and Verification in Cryptography Computer Science

Handbook of Formal Analysis and Verification in Cryptography

0 - Default Title
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
446
Release Date:
2024-12-19
Publication Date:
2024-12-19
Publisher:
CRC Press
Languages:
Original: English
ISBN10:
0367546663
ISBN13:
9780367546663
GPSR Manufacturer Reference:
[email protected]
Weight:
673 g
Height:
156 cm
Width:
234 cm
Thickness:
24 cm
Buy on Amazon
Currently sold out