Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Sp cification Et Validation de Protocoles de S curit Stéphane Lafrance

Sp cification Et Validation de Protocoles de S curit

Szerző: Stéphane Lafrance
Nyelv: Francia
Kötés: Puha kötésű
Kiadó: Omniscriptum
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 653 Ft
Dans cet ouvrage, nous abordons le problčme de la vérification de protocoles de sécurité. Plus spéc...

Információk a könyvről

Szerző
Stéphane Lafrance
Nyelv
Francia
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
200
EAN
9786131531729
ISBN
6131531722
Enbook ID
06993201
Kiadó
Omniscriptum
Súly
299
Méretek
152 x 229 x 12

Teljes leírás

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.

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Child Sexual Abuse

Paul Ramchandani
16 123 Ft

Neue Ergebnisse der klinischen Fettstoffwechselforschung

G. Schettler
19 698 Ft

Information and Exclusion

Lior Jacob Strahilevitz
13 598 Ft

Lavinia

Jeanne Wilkins Wilde
5 098 Ft

Mystics of Reyesville

Corinne Chacon
6 198 Ft

Simple Complexity of Number Nine

Said Hany
7 186 Ft

Sefarad

Emilio de Armas
5 730 Ft