Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00923393
Contributor : Tijs van der Storm <>
Submitted on : Thursday, January 2, 2014 - 5:06:33 PM
Last modification on : Friday, January 3, 2014 - 4:35:09 PM
Long-term archiving on: : Saturday, April 8, 2017 - 10:22:00 AM

File

21789B.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00923393, version 1

Citation

D. J. N. Eijck. Elements Of Epistemic Crypto Logic. 2014. ⟨hal-00923393⟩

Share

Metrics

Record views

81

Files downloads

323