Vertel uw vrienden over dit artikel:
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography Cas Cremers
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, black & white illustrations, bibliography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 9 november 2014 |
| Datum oorspronkelijke uitgave | 2011 |
| ISBN13 | 9783642430534 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 174 |
| Afmetingen | 155 × 235 × 10 mm · 295 g |
| Taal en grammatica | Duits |
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld