Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Modeling and Analyzing Security Protocols with Tamarin
- A Comprehensive Guide
Engelsk
Bogcover for Modeling and Analyzing Security Protocols with Tamarin af Jannik Dreier, David Basin, Cas Cremers, Ralf Sasse, 9783031909351
Specifikationer
Sprog:
Engelsk
Sider:
325
ISBN-13:
9783031909351
Indbinding:
Hardback
ISBN-10:
3031909356
Udg. Dato:
28 jul 2025
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
28 jul 2025

Modeling and Analyzing Security Protocols with Tamarin

- A Comprehensive Guide
Engelsk
Hardback 2025
Format:

Bog beskrivelse
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.
... Vis mere

Forlags Vejl. pris
582,50 kr
Januarudsalg
453 kr
spar 22%
Læg i kurv nu
Fri fragt over 499,-
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
325
ISBN-13:
9783031909351
Indbinding:
Hardback
ISBN-10:
3031909356
Udg. Dato:
28 jul 2025
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
28 jul 2025
Finder produkter...
Kategori sammenhænge