Introduction Symbolic and computational models Soundness theorem Conclusion

pages

English

Documents

Écrit par
Mathieu Baudet

Publié par
pefav

Lire un extrait

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

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

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

Publié par

pefav

Nombre de lectures

Langue

English

Introduction Symbolic and computational models Soundness theorem Conclusion Guessing Attacks and the Computational Soundness of Static Equivalence Mathieu Baudet Joint work with Martın Abadi and Bogdan Warinschi Formacrypt – Mar. 6, 2006

passwords used

introduction symbolic

dolev-yao ones

multiple passwords

help design

justify symbolic models

automatized ?

studying cryptographic

static equivalence

Voir

Publié par

pefav

Nombre de lectures

Langue

English

Needham Baudet

nItorudctoinySbmoilcnadcopmtutaoianlomedsloSnundesstehroemGuessingAttacksandtheComputationalSoundnessofStaticEquivalenceMathieuBaudetJointworkwithMartı´nAbadiandBogdanWarinschiFormacrypt–Mar.6,2006oCcnulsoin

nItorudctoinySbmoilcnadcopmtutaoianlomedslSStudyingcryptographicprotocolsTwoapproaches:•Symbolicmodelsonundesstehroem+nowhighlyautomatized−restrictedtoNeedham-Schroederattackers(a.k.a.Dolev-Yaoones)→wemaymisssomeattacks•Computationalmodels+arbitraryPPTIMEadversary−(sofar)hand-made,complexreductionproofsCocnulsoin

Voir