Spécification et validation de protocoles de sécurité
Lafrance-S - Collection Omn.univ.europ.
200 pages, parution le 10/09/2010
Résumé
Dans cet ouvrage, nous abordons le problème de la vérification de protocoles de sécurité. Plus spécifiquement, nous proposons une méthode générale de spécification et de validation pour cette famille de protocoles, qui inclue les protocoles cryptographiques. Nous présentons une nouvelle algèbre de processus, nommée SPPA, qui permet une spécification explicite des échanges de messages entre les participants d''un protocole et des manipulations cryptographiques accomplies par chacun. Une extension symbolique de cette algèbre de processus est également offerte. Nous introduisons ensuite la propriété de sécurité BNAI qui est une formalisation du concept d''interférence admissible munie d''une méthode de vérification basée sur l''équivalence de bisimulation. Nous démontrons que BNAI satisfait certaines propriétés de compositionalité par rapport aux principaux opérateurs de SPPA. Nous prouvons aussi que BNAI n''est pas dénissable dans le µ-calcul et nous montrons comment utiliser BNAI afin de valider certaines propriétés de sécurité, notamment la confidentialité, l''authentification et la vulnérabilité face aux attaques de déni de service.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Editions universitaires européennes |
| Auteur(s) | Lafrance-S |
| Collection | Omn.univ.europ. |
| Parution | 10/09/2010 |
| Nb. de pages | 200 |
| Format | 15.2 x 22.9 |
| Couverture | Broché |
| Poids | 302g |
| EAN13 | 9786131531729 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
