Operational Semantics and Verification of Security Protocols

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

Autor: Cas Cremers, Sjouke Mauw

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.52 zł

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

Informacje o książce

Autor

Cas Cremers, Sjouke Mauw

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2011

strony

174

EAN

9783642430534

ISBN

3642430538

Enbook ID

09090345

Wydawca

Springer, Berlin

Waga

296

Wymiary

156 x 235 x 10

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Operational Semantics and Verification of Security Protocols

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również