Handbook of formal analysis and verification in cryptography /

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. The chapters give readers general knowledge and formal methods...

Full description

Bibliographic Details

Corporate Author:	Taylor & Francis
Other Authors:	Akleylek, Sedat (Editor), Dundua, Besik (Editor)
Format:	eBook
Language:	English
Published:	Boca Raton : CRC Press, Taylor & Francis Group, 2024.
Edition:	First edition.
Series:	Prospects in pure and applied mathematics
Subjects:	Cryptography. Mathematical analysis. Computer systems > Verification. Data encryption (Computer science) > Mathematics. Cryptographie. Analyse mathématique. Systèmes informatiques > Vérification. Chiffrement (Informatique) > Mathématiques. COMPUTERS / Cryptography TECHNOLOGY / Manufacturing MATHEMATICS / Mathematical Analysis Electronic books.
Online Access:	Connect to the full text of this electronic book