Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

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