Elements Of Epistemic Crypto Logic
type: Dataset
description: 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 Difﬁe-Helman key exchange and similar protocols.
issued: 2026-05-07T16:11:15.176704
language: en
modified: 2026-05-07T16:11:15.176708
contact point: Organization
  fn: CCSD
keyword: cryptographic-protocol-analysis
keyword: epistemic-logic
keyword: infoeu-reposemanticspreprint
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: model-checking
keyword: preprints-working-papers-
landing page: https://inria.hal.science/hal-00923393

Elements Of Epistemic Crypto Logic
type: Distribution
format: HTML
issued: 2026-05-07T16:11:15.180207
modified: 2026-05-07T16:11:15.169234
access URL: https://inria.hal.science/hal-00923393

test_moissonnage_selune
type: Agent