TY  - RPRT
TI  - A Spatial-Epistemic Logic for Reasoning about Security Protocols
AU  - Bernardo Toninho
AU  - Luís Caires
PY  - 2011
DO  - 10.4204/eptcs.51.1
UR  - https://arxiv.org/abs/1102.5584
ID  - 1102.5584
ER  -