Operational Semantics and Verification of Security Protocols

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

Autor: Cas Cremers, Sjouke Mauw

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.01 €

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

Informácie o knihe

Autor

Cas Cremers, Sjouke Mauw

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2011

Stránok

174

EAN

9783642430534

ISBN

3642430538

Enbook ID

09090345

Vydavateľ

Springer, Berlin

Hmotnosť

296

Rozmery

156 x 235 x 10

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Operational Semantics and Verification of Security Protocols

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež