Logic Column 10: Specifying Confidentiality
<|reference_start|>Logic Column 10: Specifying Confidentiality: This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.<|reference_end|>
@article{pucella2004logic,
    title={Logic Column 10: Specifying Confidentiality},
    author={Riccardo Pucella},
    journal={SIGACT News, 35(4), pp. 72-83, 2004},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0411032},
    primaryClass={cs.LO}
}