Spicification Et Validation De Protocoles De Sicuriti (french Edition) [Paperback]

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.