Evidence Coverage for Intent-Bound Execution: Scope, Obligations, and Cutoff Reasoning
该论文关注一个审计与验证中的根本性难题：验证者可能已经对每一条可获得的记录完成认证，却仍然没有依据宣称某次执行的账目是「完整」的。要做出完整性断言，必须先有理由说明：针对被评估的这次执行，究竟哪些记录是「本应产生」的。作者提出了一个分析模型
#execution-verification
共收录 2 条相关情报。
← 返回所有主题Proof-of-Execution Memory: Defending LLM Agents Against Forged-Reasoning Attacks by Verifying What Actually Happened
该论文聚焦于 LLM Agent 的推理记忆（reasoning memory）被对抗性写入导致的安全问题。LLM Agent 本身是无状态的，需要依赖外部记忆在步骤间传递上下文，并默认信任记忆内容，因此攻击者若能写入该记忆即可操控 Age