Introduction Indirect approach Direct approach Lessons learned

Bruno Blanchet

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

Sujets

• Blanchet

Informations

• Publié par: pefav
• Nombre de lectures: 13
• Langue: English

Extrait

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