Povej prijatelju o tem izdelku:
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography Cas Cremers 2011 edition
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography
Cas Cremers
This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.
174 pages, biography
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 31. oktobra 2012 |
| Prvotni datum izida | 2011 |
| ISBN13 | 9783540786351 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 174 |
| Dimenzije | 241 × 160 × 16 mm · 439 g |
| Jezik | Angleščina |