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.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00923393
Author Eijck, D. J. N., Van
Maintainer CCSD
Last Updated May 7, 2026, 16:11 (UTC)
Created May 7, 2026, 16:11 (UTC)
Identifier hal-00923393
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Centrum Wiskunde & Informatica (CWI)
creator Eijck, D. J. N., Van
date 2014-01-02T00:00:00
harvest_object_id d92d179a-dd2c-42d9-b847-4ac71dff8395
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2014-01-03T00:00:00
set_spec type:UNDEFINED