Tous les livres numériques de David Basin en PDF

1 Livre(s)


Modeling and Analyzing Security Protocols with Tamarin David Basin , Cas Cremers , Jannik Dreier , Ralf Sasse 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. Tamarin... Editeur : Springer Parution : 2025-08-28 PDF 58,01 € J'achète Téléchargement immédiat Dès validation de votre commande

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Application
Ordinateur	-EPUB -PDF	Adobe Digital Editions
Tablette et Smartphone Android	-EPUB -PDF	Adobe Digital Editions pour Android
iPad	-EPUB -PDF	Adobe Digital Editions pour Apple
iPhone	-EPUB	Adobe Digital Editions pour Apple
Liseuse	-EPUB	Module de lecture de la liseuse

Consultez l’aide pour en savoir plus.

Catalogue

Tous les livres numériques de David Basin en PDF