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

Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion

De
22 pages
Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion The computational and decisional Diffie-Hellman assumptions in CryptoVerif Bruno Blanchet and David Pointcheval CNRS, Ecole Normale Superieure, INRIA, Paris July 2010 Bruno Blanchet and David Pointcheval Diffie-Hellman in CryptoVerif July 2010 1 / 18

  • basic ddh

  • diffie-hellman key

  • decisional diffie-hellman

  • computational diffie-hellman

  • extension extended

  • ddh conclusion

  • ecole normale


Voir plus Voir moins
aBrBisucnDoDlBHaaBiscDCHeNdefroxeetsnoinxEetdnedDCHxEetdnedDHDThecomputationalanddecisionalDiffie-HellmanassumptionsinCryptoVerifcnehtadnaDvdioPiBrunoBlanchetandDavidPointchevaltnCNRS,E´coleNormaleSupe´rieure,INRIA,ParishcvelaiDe-July2010eHllamnnirCpyoteVirfuJyl2100Cnolcu1iso/n81
aBiscDDHaBsMotivationciDCHeNdefroxeetsnoinxEetdnedDCHCryptoVerifisaproverforsecurityprotocolsthatissoundinthecomputationalmodelproducesproofsbysequencesofgamescangiveasymptoticorexactsecurityresultsxEetdnedDprovidesagenericmethodforspecifyingassumptionsoncryptographicprimitivesHDOurgoal:extendCryptoVeriftoDiffie-Hellmankeyagreements.rBnuolBanimportantprimitive;difficultforhandleinformalprotocolprovers.nahcteadnaDvdioPnictehavliDeH-lemlnanirCpyoteVirfuJyl2100Cnolcu2iso/n81
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