Operational Semantics and Verification of Security Protocols

Auteurs

• Cas Cremers
• Sjouke Mauw

Paramètres

• 188 pages
• 7 heures de lecture

• Informatique, programmation

En savoir plus sur le livre

The book delves into the critical role of security protocols in safeguarding communications over insecure networks. It highlights the reliance on strong cryptography to protect messages from unauthorized access or alteration. However, it emphasizes that cryptography alone is insufficient for guaranteeing the correctness of these protocols. The text further explores the challenges posed by the small size of many protocols, which can lead to misdesigns and vulnerabilities, underscoring the need for thorough assessment and validation of their effectiveness.

Achat du livre

• Année de publication: 2012
• Reliure: (rigide)