Gå direkt till innehållet
Operational Semantics and Verification of Security Protocols
Spara

Operational Semantics and Verification of Security Protocols

inbunden, 2012
Engelska

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

Upplaga
2011
ISBN
9783540786351
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2012-10-31
Sidor
174