
Operational Semantics and Verification of Security Protocols
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves.
- Författare
- Cas Cremers, Sjouke Mauw
- Upplaga
- 2011
- ISBN
- 9783540786351
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2012-10-31
- Sidor
- 174
