Introduction Specification language Translation Application Conclusion
35 pages
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Introduction Specification language Translation Application Conclusion

-

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

Description

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


Sujets

Informations

Publié par
Nombre de lectures 15

Exrait

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
  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents