Knowledge and Security
arXiv:1305.0876v127 citations
Originality Synthesis-oriented
AI Analysis
It provides a review for researchers in security and formal methods, but is incremental as it surveys existing work.
This survey examines the application of epistemic concepts and logic to formalize security properties, specifically focusing on confidentiality in cryptographic protocols and multi-level security systems, without presenting new results or numbers.
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.