Knowledge and Security
arXiv:1305.0876
Abstract
Epistemic concepts, and in some cases epistemic logic, have been used in security research to formalize security properties of systems. This survey illustrates some of these uses by focusing on confidentiality in the context of cryptographic protocols, and in the context of multi-level security systems.
51 pages; preliminary version of a chapter for an upcoming Handbook of Logics for Knowledge and Belief