Operational Semantics and Verification of Security Protocols

Autori

• Cas Cremers
• Sjouke Mauw

Parametri

• 188 pagine
• 7 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2012

(Copertina rigida)