Gå direkte til innholdet
Operational Semantics and Verification of Security Protocols
Spar

Operational Semantics and Verification of Security Protocols

innbundet, 2012
Engelsk

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

Opplag
2011
ISBN
9783540786351
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
31.10.2012
Antall sider
174