Introduction Indirect approach Direct approach Lessons learned

Introduction Indirect approach Direct approach Lessons learned

11

pages

English

Documents

Écrit par
Bruno Blanchet

Publié par
pefav

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe et accède à tout notre catalogue !

Découvre YouScribe et accède à tout notre catalogue !

11

pages

English

Documents

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Nombre de lectures

10

Langue

English

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

Publié par

Langue

English

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