Sp cification Et Validation de Protocoles de S curit

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

Автор: Stéphane Lafrance

Език:

Корици: С меки корици

Издател: Omniscriptum

Наличност: Външен склад

Изпращаме след 5-8 дни

53.91 € 105.44 лв

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

Информация за книгата

Автор

Stéphane Lafrance

Език

Френски език

Корици

Книга - С меки корици

Издадена

2018

страници

200

EAN

9786131531729

ISBN

6131531722

Enbook ID

06993201

Издател

Omniscriptum

Теглоt

299

Размери

152 x 229 x 12

Пълно описание

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.

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Sp cification Et Validation de Protocoles de S curit

Информация за книгата

Пълно описание

Клиенти, които купиха тази книга, купиха също

Child Sexual Abuse

Neue Ergebnisse der klinischen Fettstoffwechselforschung

Information and Exclusion

Lavinia

Mystics of Reyesville

Simple Complexity of Number Nine

Sefarad