TL;DR
This paper surveys how epistemic concepts and logic are applied in security research, particularly for formalizing confidentiality in cryptographic protocols and multi-level security systems.
Contribution
It provides an overview of the use of epistemic logic in security, highlighting its role in formalizing confidentiality properties.
Findings
Epistemic logic helps formalize security properties.
The survey covers cryptographic protocols and multi-level security.
Epistemic approaches enhance understanding of confidentiality.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Authentication Protocols Security · User Authentication and Security Systems · Cryptography and Data Security