逻辑栏10：保密
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
