Logic Column 10: Specifying Confidentiality
classification
💻 cs.LO
keywords
confidentialityarticlecapturecolumnformsillustrateslanguageliterature
read the original abstract
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
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.