Formal Models and Techniques for Analyzing Security Protocols - Cortier, Véronique
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre207,40 €
Produit Neuf
Ou 51,85 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 17 août
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.
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 170,61 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 119,99 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,14 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 155,00 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
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