Introduction Indirect approach Direct approach Lessons learned

-

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

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 8
Language English
Report a problem
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