Original price was: ₹8,078.99.₹5,251.34Current price is: ₹5,251.34.
Explore the formal correctness of crucial security protocols with this insightful book from The Bookish Owl. Delving into a formal yet intuitive setting, the author presents rigorous proofs of key protocols, including Kerberos versions, smartcard systems, non-repudiation mechanisms, and certified email. Discover a powerful and flexible analytical method that yields novel and illuminating findings on these vital security measures. Ideal for researchers and professionals seeking a deeper understanding of protocol security. Enhance your knowledge of cryptography and information security with this essential guide. Add ‘Formal Correctness Of Security Protocols’ to your collection today and advance your expertise in safeguarding digital communications.
5 in stock
![HOW AI THINKS [Paperback] TOON NIGEL](https://book1.b-cdn.net/wp-content/uploads/2025/04/67efb453dc01c7617-400x400.jpg)