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

Introduction Specification language Translation Application Conclusion

De
35 pages
Introduction Specification language Translation Application Conclusion From CryptoVerif Specifications to Computationally Secure Implementations of Protocols Bruno Blanchet and David Cade INRIA, Ecole Normale Superieure, CNRS, Paris April 2012 Bruno Blanchet and David Cade (INRIA) CryptoVerif April 2012 1 / 30

  • specification proved

  • generate protocol

  • protocol verification

  • specification translated into

  • introduction specification language

  • computational f7

  • implementations fs2pv

  • cryptoverif


Voir plus Voir moins
IBnrturnooudBclitnopSceiacitnoalgnauegrTnalstaoinpAlpciaitonoCFromCryptoVerifSpecificationstoComputationallySecureImplementationsofProtocolsnahctenadaDvdiaCe´d(BrunoBlanchetandDavidCade´INRIA,E´coleNormaleSupe´rieure,CNRS,ParisNIIR)AApril2012rCpyoteVirfpAirl2102cnlu1soi/n03
03/22102lirpAfireVotpyrC)AIRNI(e´daCdivaDdnatehcnalBonurBnoitacirevlocotorPnoisulcnoComputationalCSymbolicnCryptoVerif,oCertiCrypt,...iAndy’stalk,...tAndy’stalk,,...aFS2CV,ComputationalF7,cFS2PV,F7,Spi2Java,iImplementationslProVerif,...pFDR,AVISPA,pSpecificationsAnoitalsnarTegaugnalnoitacicepSnoitcudortnI
nIrtoudcitnopSceiacitnoalgnProtocolverificationrBuSpecificationsImplementationsonlBnahctenadaDvdiaCe´dI(NauegSymbolicFDR,AVISPA,ProVerif,...rTnalstaFS2PV,F7,Spi2Java,Andy’stalk,...IR)ArCpyoteVirfoinpAlpciaitonComputationalCryptoVerif,CertiCrypt,...oCcnlFS2CV,ComputationalF7,Andy’stalk,ourwork,...pAirl2102u2soi/n03
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