Store besparelser
Hurtig levering
Fri fragt over 499,-
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,49 kr
Hos Booktok
453 kr
spar 22%
Læg i kurv nu
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