知识与安全
Knowledge and Security
摘要：
认知概念，在某些情况下，认知逻辑，已被用于安全研究，以形式化系统的安全属性。本调查说明了其中的一些用途，重点是在密码协议的背景下，并在多级安全系统的背景下的机密性。
英文摘要：
Epistemic concepts, and in some cases epistemic logic, have been used in security research to formalize security properties of systems. This survey illustrates some of these uses by focusing on confidentiality in the context of cryptographic protocols, and in the context of multi-level security systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
