假设你已知：使用智能体AI修复流策略的认知语义
Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI
浏览论文内容
中文总结 AI 辅助
该研究针对流策略认知语义框架的缺陷，借助智能体AI编码助手在Rocq中完成修正形式化的机器验证，形成了可比较不同策略规范风格并支持实施的通用框架。
中文摘要 AI 辅助
许多高级安全需求与程序中允许的信息流有关，且因涉及选择性降级而难以精确表述。认知逻辑的概念已成为策略语义的良好方法，但稳健的通用框架仍难以捉摸。2018年CSF会议上一篇题为《假设你已知：用于表达流策略的关系标注的认知语义》的论文试图提供统一框架，但其形式化不够完善，且在会议报告期间宣布了修正。借助智能体AI编码助手，修正后的形式化已在Rocq证明助手完成机器验证。该框架的简洁性与通用性或有助于比较不同策略规范风格，并利用现有技术实施这些策略。
英文摘要
Many high-level security requirements are about the allowed flow of information in programs and are difficult to make precise because they involve selective downgrading. Notions from epistemic logic have emerged as a good approach to policy semantics but a robust general framework remains elusive. A paper appearing in CSF 2018, entitled ``Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies'', attempted to provide a unifying framework---but the formalization was sketchy and a correction was announced during the conference presentation. With aid from an agentic AI coding assistant, a corrected formalization has been machine checked in the Rocq proof assistant. The simplicity and generality of the framework may help compare different policy specification styles and enforce them by leveraging existing techniques.
发表机构
- Stevens Institute of Technology（史蒂文斯理工学院）
机构由 AI 辅助整理，请以论文原文为准。
