DELP: Dynamic Epistemic Logic for Security Protocols.

Ioana Leustean, Bogdan Macovei

Browse the full SYNASC paper archive.