Formal Models and Techniques for Analyzing Security Protocols - Cortier, Véronique
- Format: Broché Voir le descriptif
207,40 €
Produit Neuf
Ou 51,85 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Formal Models And Techniques For Analyzing Security Protocols Format Broché - Livre Informatique
0 avis sur Formal Models And Techniques For Analyzing Security Protocols Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
The Rainbow
Neuf dès 105,43 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Introduction To Hilbert Spaces With Applications
Neuf dès 225,99 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Common Sense
Occasion dès 115,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Topology Via Logic
Neuf dès 103,86 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
A Court Of Thorns And Roses Paperback Box Set
Occasion dès 171,95 €
Produits similaires
Présentation Formal Models And Techniques For Analyzing Security Protocols Format Broché
- Livre Informatique
Résumé :
Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home banking, and more recently electronic elections. Given the financial and societal impact in case of failure and the long history of design flaws in such protocols, formal verification is a necessity. A major difference from other safety critical systems is that the properties of security protocols must hold in the presence of an arbitrary adversary. Formal Models and Techniques for Analyzing Security Protocols: A Tutorial provides the reader with a tutorial on some modern techniques to model and automatically analyze security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results. The tutorial can be used as a basis for a master or graduate course on the topic, or as a primer for researchers from different areas to get an overview of the kinds of techniques that are available....
Détails de conformité du produit
Personne responsable dans l'UE