{"product_id":"handbook-of-formal-analysis-and-verification-in-cryptography-9780367546656","title":"Handbook of Formal Analysis and Verification in Cryptography","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThis handbook is essential for secure communication and information processing in cryptography, introducing readers to formal verification methods and software. It covers general knowledge and formal methods, focusing on cryptographic protocols, and highlights new-generation cryptosystems. It provides formal methods to assess security assumptions and compares prominent formalisms and tools. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 428 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 19 September 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Taylor \u0026amp; Francis Ltd\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis comprehensive handbook of formal analysis in cryptography is of utmost importance for ensuring secure communication and efficient information processing. It serves as an invaluable guide for readers, introducing them to a range of formal verification methods and software employed in analyzing cryptographic protocols. The chapters within this handbook provide a comprehensive overview of cryptographic protocols, focusing on both general knowledge and formal methods.\u003cbr\u003e\u003cbr\u003eBy delving into these chapters, readers will gain a deep understanding of the fundamental principles and techniques employed in cryptography. The text also highlights the significance of new-generation cryptosystems, such as post-quantum cryptography, and explores the interconnectedness between formal analysis and cryptographic schemes.\u003cbr\u003e\u003cbr\u003eThe handbook offers a valuable resource for graduate students, researchers, and engineers engaged in the field of cryptography. It provides a systematic and rigorous approach to formal verification, enabling readers to assess the security assumptions of cryptographic systems and compare the most prominent formalisms and tools employed in this domain.\u003cbr\u003e\u003cbr\u003eThrough its engaging content and comprehensive coverage, this handbook equips readers with the necessary skills and knowledge to advance their understanding of cryptography and contribute to the development of more robust and secure cryptographic systems.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 979g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 234 x 156 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9780367546656\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Hardback","offer_id":44596260995322,"sku":"9780367546656","price":171.36,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1696005650157_book.jpg?v=1696154323","url":"https:\/\/shulphink.com\/products\/handbook-of-formal-analysis-and-verification-in-cryptography-9780367546656","provider":"Shulph Ink","version":"1.0","type":"link"}