逻辑专栏 10：规约机密性
计算机科学中的逻辑
2007-05-23 v1
摘要
本文阐明了如何使用一种逻辑规约语言来刻划安全文献中使用的各种形式的机密性性质。
引用
@article{arxiv.cs/0411032,
title = {Logic Column 10: Specifying Confidentiality},
author = {Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0411032},
year = {2007}
}
备注
12 pages