Logic Column 10: Specifying Confidentiality
Riccardo Pucella
TL;DR
This paper demonstrates how a logical specification language can be used to formally specify different confidentiality properties in security systems.
Contribution
It introduces a logical framework for capturing various confidentiality properties, enhancing formal security analysis methods.
Findings
Logical language effectively specifies confidentiality properties
Framework supports formal verification of security properties
Improves clarity and precision in security specifications
Abstract
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
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
TopicsSecurity and Verification in Computing · User Authentication and Security Systems · Cryptographic Implementations and Security