Mohlo by sa vám tiež páčiť

Viac informácií o knihe Sp cification Et Validation de Protocoles de S curit

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 166 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po francúzsky LITTÉRATURE GÉNÉRALE Essais littéraires

• Celý názov: Sp cification Et Validation de Protocoles de S curit
• Autor: Stéphane Lafrance
• Jazyk: Francúzština
• Väzba: Brožovaná
• Počet strán: 200
• EAN: 9786131531729
• ISBN: 6131531722
• ID: 06993201
• Nakladateľ: Omniscriptum
• Hmotnosť: 299 g
• Rozmery: 229 × 152 × 12 mm
• Dátum vydania: 28. February 2018

Obľúbené z iného súdka

---

---

---