Sp cification Et Validation de Protocoles de S curit

Name: Sp cification Et Validation de Protocoles de S curit
Brand: Omniscriptum
SKU: 9786131531729
Price: 50.88 EUR
Availability: InStock

Autor: Stéphane Lafrance

Jazyk:

Väzba: Brožovaná

Vydavateľ: Omniscriptum

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.88 €

Dans cet ouvrage, nous abordons le problčme de la vérification de protocoles de sécurité. Plus spéc...

Informácie o knihe

Autor

Stéphane Lafrance

Jazyk

Francúzština

Väzba

Kniha - Brožovaná

Vydalo

2018

Stránok

200

EAN

9786131531729

ISBN

6131531722

Enbook ID

06993201

Vydavateľ

Omniscriptum

Hmotnosť

299

Rozmery

152 x 229 x 12

Kompletný popis

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.

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Sp cification Et Validation de Protocoles de S curit

Informácie o knihe

Kompletný popis

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Child Sexual Abuse

Neue Ergebnisse der klinischen Fettstoffwechselforschung

Information and Exclusion

Lavinia

Mystics of Reyesville

Simple Complexity of Number Nine

Sefarad