
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.
- Kirjailija
- Cas Cremers, Sjouke Mauw
- Painos
- 2011
- ISBN
- 9783540786351
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 31.10.2012
- Sivumäärä
- 174