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

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

Dates and versions

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

Identifiers

  • HAL Id : hal-00923393 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More