Login / Signup
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.
Hans van Ditmarsch
Jan van Eijck
Ignacio Hernández-Antón
Floor Sietsma
Sunil Simon
Fernando Soler-Toscano
Published in:
PAAMS (Special Sessions) (2012)
Keyphrases
</>
dynamic epistemic logic
hash functions
epistemic logic
smart card
image processing
probabilistic model