Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif | Bruno Blanchet | Sécurité du réseau | 9781680832068 | Librairie Club

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

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

108,95 €

+ 217 points

Livraison sous 1 à 4 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

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

CADEAU

à l'achat d'un Bongo à partir de 39 €

CADEAU

CONCOURS

à l'achat du nouveau Dan Brown

CONCOURS

RÉDUCTION

sur une sélection de papeterie

RÉDUCTION

Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.