- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Bruno Blanchet
108,95 €
+ 217 points
Description
Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 152
- Collection :
Caractéristiques
- EAN:
- 9781680832068
- Date de parution :
- 31-10-16
- Format:
- Livre broché
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 224 g
Seulement chez Librairie Club
+ 217 points sur votre carte client de Librairie Club
INSPIRATION
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.