Proving computational security using Avispa

Véronique Cortier

Description

Introduction Theoretical result Using Avispa Proving computational security using Avispa Veronique Cortier LORIA, equipe Cassis, Nancy FormaCrypt, 30 novembre 2007 This work is part of the PhD thesis of Heinrich Hordegen 1/13 Veronique Cortier LORIA, equipe Cassis, Nancy Proving computational security using Avispa

• using avispa


• computational security using


• security properties


• cortier-kuesters-kremer-warinschi


• nancy proving


• probabilistic symbols ?

Informations

• Publié par: pefav
• Publié le: 01 novembre 2007
• Nombre de lectures: 19
• Langue: English

Extrait

Introduction Therotecilaerustl sUgAinspvia qieureno31´V/1,´eqORIAierLCortycnaN,sissaCepiutitapuomgcinovPrivAgaps

V´eroniqueCortier LORIA´equipeCassis,Nancy ,

Proving computational security using Avispa

FormaCrypt, 30 novembre 2007

ThisworkispartofthePhDthesisofHeinrichH¨ordegen

aloncusetyriinus