Knowledge and Security

2013/05/04 by Riccardo Pucella, Pucella, Riccardo
Computer Science · #Advanced Authentication Protocols Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #D.4.6 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #User Authentication and Security Systems #cs.CR #cs.LO

paper · pdf · doi:10.48550/arxiv.1305.0876

51 pages; preliminary version of a chapter for an upcoming Handbook of Logics for Knowledge and Belief

arxiv created 2013/05/04 · openalex publication_date 2013/05/04 · arxiv updated 2013/05/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• DELP: Dynamic Epistemic Logic for Security Protocols
• Logic Column 10: Specifying Confidentiality
• Knowledge Flow Analysis for Security Protocols
• Epistemic Temporal Logic for Information Flow Security
• Security Properties through the Lens of Modal Logic