Introduction Formal Model Computational Model Conclusion
33 pages
English

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Introduction Formal Model Computational Model Conclusion

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
33 pages
English
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Introduction Formal Model Computational Model Conclusion Automatic Verification of Security Protocols: Formal Model and Computational Model Bruno Blanchet EPI Cascade INRIA, Ecole Normale Superieure, CNRS December 2, 2010 Bruno Blanchet (INRIA, ENS, CNRS) Automatic Verification of Security Protocols December 2, 2010 1 / 33

  • should remain secret

  • sacco

  • denning

  • secret key

  • public- key encryption

  • model computational

  • key pk


Sujets

Informations

Publié par
Nombre de lectures 31
Langue English

Extrait

nIBtrorudnuoctBiloancnehoFmrlaMoedlCopmtutaoianlMoedlAutomaticVerificationofSecurityProtocols:FormalModelandComputationalModeltI(RNAI,NE,SCRNBrunoBlanchetEPICascadeINRIA,E´coleNormaleSupe´rieure,CNRSBruno.Blanchet@ens.fr)SuAtoDecember2,2010amtcieVirctaoinofeScrutiyPortocoslDecebmer2,2010Cocnul1soi/n33
nItorudctoinOutlinerBuoFmrlaMoedlCopmtutaoianlMoedl1Introductiontosecurityprotocols2Verificationofprotocolsintheformalmodel3Verificationofprotocolsinthecomputationalmodel4ConclusionandfutureworkonlBnacehtI(RNAI,NE,SCRN)SuAtoamtcieVirctaoinofeScrutiyPortocoslDecebmer2,2010Cocnul2soi/n33
nItorudctoinoFmrlaMoedlCopmtutaoianlMoCommunicationsoveraninsecurenetworkA(Alice)insecurenetworkC(attacker)edlB)boB(AtalkstoBonaninsecurenetworkneedforcryptographyinordertomakecommunicationssecureforinstance,encryptmessagestopreservesecrets.rBnuolBnacehtI(RNAI,NE,SCRN)SuAtoamtcieVirctaoinofeScrutiyPortocoslDecebmer2,2010Cocnul3soi/n33
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents