Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

June 2009
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet CNRS, ENS, INRIA
Direct approach
Lessons learned
(Martı´nAbadisinvitedpaperatCAV09,toappear)
Models and Proofs of Protocol Security: A Progress Report
Hubert Comon-Lundh ENS Cachan, INRIA, RCIS-AIST
Introduction
Mart´ın Abadi MSR, UCSC
Abadi, Blanchet, Comon-Lundh
Indirect approach
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin