A Spatial-Epistemic Logic for Reasoning about Security Protocols

Bernardo Toninho, Luís Caires

Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…