Introduction Indirect approach Direct approach Lessons learned
11
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
11
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Introduction Indirect approach Direct approach Lessons learned Models and Proofs of Protocol Security: A Progress Report Martın Abadi MSR, UCSC Bruno Blanchet CNRS, ENS, INRIA Hubert Comon-Lundh ENS Cachan, INRIA, RCIS-AIST (Martın Abadi's invited paper at CAV'09, to appear) June 2009 Abadi, Blanchet, Comon-Lundh Models and Proofs of Protocol Security: A Progress Report
Voir
- argument containing random
- formal model prove
- security property
- wide-mouth frog
- wmf protocol
- direct approach
- protocol security
- martın abadi's
June 2009
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet CNRS, ENS, INRIA
Direct approach
Lessons learned
(Martı´nAbadi’sinvitedpaperatCAV’09,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
