Elements Of Epistemic Crypto Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2014

Elements Of Epistemic Crypto Logic


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.
Fichier principal
Vignette du fichier
21789B.pdf (490.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00923393 , version 1 (02-01-2014)


  • HAL Id : hal-00923393 , version 1


D. J. N. Van Eijck. Elements Of Epistemic Crypto Logic. 2014. ⟨hal-00923393⟩
57 View
170 Download


Gmail Facebook X LinkedIn More