S'abonner navigation icon
FR
navigation icon menu icon S'abonner
navigation icon Accueil navigation icon Catalogue
icon language Langues navigation icon Menu
icon close
icon arrow

Rechercher

icon searchbar

Rechercher

Catalogue

icon close
icon close
icon close
icon language

Langues

icon close
background image
button download
icon share social
Category Introduction Using ProVerif Horn clauses Applications Conclusion
Lire un extrait
Lire un extrait

Introduction Using ProVerif Horn clauses Applications Conclusion

  • 43

    pages

  • English

  • Documents

Écrit par

Publié par
icon arrow

  • 43

    pages

  • English

  • Documents

Lire un extrait
Lire un extrait
icon

Description

Introduction Using ProVerif Horn clauses Applications Conclusion The automatic security protocol verifier ProVerif Bruno Blanchet CNRS, Ecole Normale Superieure, INRIA, Paris June 2010 Bruno Blanchet (CNRS, ENS, INRIA) ProVerif June 2010 1 / 43

  • distribution protocol

  • proverif horn

  • clauses applications

  • secret key

  • dolev-yao model

  • security protocol verifier

  • yao


Voir icon arrow

  • Publié par

  • Langue

    English

icon success

Ajouté à mes notifications

Vous serez informé des prochaines publications.