Siirry suoraan sisältöön
Operational Semantics and Verification of Security Protocols
Tallenna

Operational Semantics and Verification of Security Protocols

sidottu, 2012
englanti

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves.

Painos
2011
ISBN
9783540786351
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
31.10.2012
Sivumäärä
174