Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Introduction Indirect approach Direct approach Lessons learned

De
11 pages
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

  • argument containing random

  • formal model prove

  • security property

  • wide-mouth frog

  • wmf protocol

  • direct approach

  • protocol security

  • martın abadi's


Voir plus Voir moins
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