Knowledge and Security
classification
💻 cs.CR
cs.LO
keywords
securitycontextepistemicsomesystemsbeencasesconcepts
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.