Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO | Publicación