arXiv 论文提出 Agentic Process Evidence 协议,为 AI 编码智能体提供可追溯的签名证据
论文提出 Agentic Process Evidence(APE),一种对智能体过程进行签名、防篡改、机器可读的证明机制,将智能体会话与其产出结果关联(process-aware logging),以应对 AI 编码智能体在 SDLC 中带来的供应链风险、策略护栏与任务对齐三类问题。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
论文提出 Agentic Process Evidence(APE),一种对智能体过程进行签名、防篡改、机器可读的证明机制,将智能体会话与其产出结果关联(process-aware logging),以应对 AI 编码智能体在 SDLC 中带来的供应链风险、策略护栏与任务对齐三类问题。
arXiv 论文提出 Tracekit Box,一个 MIT 许可的开源系统(v0),让每个 AI Agent 任务运行在独立的 Firecracker micro-VM 中且不配网卡,所有出口(命令、外连、密钥、模型调用、工作区补丁)都经 vsock 走宿主机上的签名器,由 Agent 无法触及的 Tracekit signer 决定放行内容并签名写入每盒一次的运行记录。
arXiv 论文提出 WebMaze 防御方法,在不改变真实应用功能的前提下,将基于 LLM 的恶意 Web 扫描器引向生成的诱饵世界。作者系统研究了六个 LLM 扫描器如何收集信息并基于观察迭代选择动作,在真实页面中嵌入功能耦合陷阱,并从应用现有视图构建视图定制的交互式诱饵世界。
arXiv:2610.31376 论文(作者 Chao Gu、Quanyan Zhu)将 LLM Agent 与工具之间的执行护栏形式化为 Petri 网监督控制问题,用 token 表示能力、审批与预算,使前置条件缺失或已消耗的注入请求被机械拒绝。
arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。
arXiv 论文提出"超级智能软件工程"(OSTEON)框架,主张当软件 Agent 能力超越人类工程师时,治理(门控、契约、决策与知识衰减控制)必须随能力同步扩展,否则仅靠能力无法保证软件正确性。
一篇 arXiv 经验报告记录了单名开发者全程零手写代码、在三个工作日内构建并部署一套合规关键、人在环路的考试评分系统的过程。作者提出核心论点:AI 对软件工程的改变不在于让编程更快,而在于改变了稀缺资源——写代码变得充裕,而可靠评测与工程判断成为约束迭代的瓶颈。
论文提出 Compaction Laundering 攻击:编码智能体压缩上下文时,若 harness 将带类型的消息拍平为单一字符串并用 [User]: 等文本标签标记,攻击者可伪造在压缩后仍被当作真实指令的用户轮次。
论文提出 report-trace auditing,用于校验 GUI Agent 的完成声明是否与独立记录的执行轨迹一致,并定义了轨迹无法支撑的危险误报(dangerous misreport)。
研究团队提出 RegretBench,用 205 个可执行任务评测编码 Agent 的备份意识:六个前沿模型平均完成任务率 86.1%,但在需要备份的关键时刻仅 15.2% 会提前保存状态。
论文提出“可问责的部分理解”(APU)框架,用于应对 Agentic AI 系统中软件自主读写、解释并授权安全相关行为所带来的认知攻击面。作者给出四类相互作用的攻击分类(针对意图解释、证据生产与消费、委托权限范围、人类监督者理解),并规定 APU 的六项必要条件与五项设计原则。
一篇 arXiv 论文提出面向 SIEM/XDR 的受限动作架构:SOC 分析 LLM 被限制在封闭意图词表内,命令由管理器按 OS 模板展开并逐参数校验,外层再套 NeMo-Guardrails 代理。
研究者提出 KEX-bench,用 40 个真实 Linux 与 Windows CVE 构造 45 个任务,检验编码智能体能否把内核漏洞转成可验证的利用原语。