Elements Of Epistemic Crypto Logic

Abstract : The talk presents an extension of DEL (dynamic epistemic logic) intended for model checking of cryptographic protocols. Key elements are a feasible epistemic representation of knowledge of large integers, using register models, and exchange of such knowledge over a network. I will demonstrate how the approach can be used for model checking Diffie-Helman key exchange and similar protocols.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00923393
Contributeur : Tijs Van Der Storm <>
Soumis le : jeudi 2 janvier 2014 - 17:06:33
Dernière modification le : vendredi 3 janvier 2014 - 16:35:09
Document(s) archivé(s) le : samedi 8 avril 2017 - 10:22:00

Fichier

21789B.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00923393, version 1

Citation

D. J. N. Eijck. Elements Of Epistemic Crypto Logic. 2014. 〈hal-00923393〉

Partager

Métriques

Consultations de la notice

53

Téléchargements de fichiers

204