Operational Semantics and Verification of Security Protocols

Name: Operational Semantics and Verification of Security Protocols
Brand: Springer, Berlin
SKU: 9783642430534
Price: 19311 HUF
Availability: InStock

Szerző: Cas Cremers, Sjouke Mauw

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 311 Ft

This account of an effective methodology for defining and verifying security protocols in network co...

Információk a könyvről

Szerző

Cas Cremers, Sjouke Mauw

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

174

EAN

9783642430534

ISBN

3642430538

Enbook ID

09090345

Kiadó

Springer, Berlin

Súly

296

Méretek

156 x 235 x 10

Teljes leírás

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.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Operational Semantics and Verification of Security Protocols

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták