Login / Signup

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.

Hans van DitmarschJan van EijckIgnacio Hernández-AntónFloor SietsmaSunil SimonFernando Soler-Toscano
Published in: PAAMS (Special Sessions) (2012)
Keyphrases
  • dynamic epistemic logic
  • hash functions
  • epistemic logic
  • smart card
  • image processing
  • probabilistic model