Verification and composition of security protocols with applications to electronic voting

Cette these concerne la verification formelle et la composition de protocoles de securite, motivees en particulier par l'analyse des protocoles de vote electronique. Les chapitres 3 a 5 ont comme sujet la verification de protocoles de securite et le Chapitre 6 vise la composition.Nous montrons...

Full description

Bibliographic Details
Main Author: Ciobâcǎ, Ştefan
Other Authors: Cachan, Ecole normale supérieure
Language:en
Published: 2011
Subjects:
Online Access:http://www.theses.fr/2011DENS0059/document