Cas Cremers Books
Operational Semantics and Verification of Security Protocols
By Cas Cremers
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from readin...
Read More