Handbook of formal analysis and verification in cryptography
Éditeur :
Taylor & Francis Ltd
ISBN :
9780367546663
Date de publication :
19 déc. 2024
Dimensions :
23,4 x 15,6 cm
Poids :
453 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.