Knowledge and Security
Cryptography and Security
2013-05-07 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1305.0876,
title = {Knowledge and Security},
author = {Riccardo Pucella},
journal= {arXiv preprint arXiv:1305.0876},
year = {2013}
}
Comments
51 pages; preliminary version of a chapter for an upcoming Handbook of Logics for Knowledge and Belief