11 Pages
English
Gain access to the library to view online
Learn more

Introduction Indirect approach Direct approach Lessons learned

-

Gain access to the library to view online
Learn more
11 Pages
English

Description

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


Subjects

Informations

Published by
Reads 13
Language English

Exrait

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