
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.
- Forfatter
- Cas Cremers, Sjouke Mauw
- Opplag
- 2011
- ISBN
- 9783540786351
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 31.10.2012
- Antall sider
- 174
