Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Automated Security Proofs with Sequences of Games

De
23 pages
Automated Security Proofs with Sequences of Games Bruno Blanchet and David Pointcheval CNRS, Departement d'Informatique, Ecole Normale Superieure August 2006 Bruno Blanchet, David Pointcheval Automated Security Proofs with Sequences of Games

  • computational assumptions

  • message authentication

  • security protocols

  • cryptographic protocols

  • property can

  • automated security

  • scheme

  • signature

  • produced proofs

  • hash


Voir plus Voir moins
rBnuAutomatedSecurityProofswithSequencesofGamesBrunoBlanchetandDavidPointchevalCNRS,De´partementd’Informatique,E´coleNormaleSupe´rieureolBnahcte,aDivdoPiAugust2006tnhcvelauAotametdeSucirytrPofosiwhteSuqneecsfoaGems
rPofosforcpyotrgpaihcrptooocslTherearetwomainframeworksforanalyzingsecurityprotocols:TheDolev-Yaomodel:aformal,abstractmodel.Thecryptographicprimitivesareidealblackboxes.Theadversaryusesonlythoseprimitives.Proofscanbedoneautomatically.Thecomputationalmodel:arealisticmodel.Thecryptographicprimitivesarefunctionsonbit-strings.Theadversaryisapolynomial-timeTuringmachine.Proofsaredonemanually.Ourgoal:achieveautomaticprovabilityundertherealisticcomputationalassumptions.rBnuolBnahcte,aDivdoPnictehavluAotametdeSucirytrPofosiwhteSuqneecsfoaGems
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin