首次揭示智能体回滚机制的五大安全漏洞,可能被用于绕过验证、伪造邮件等攻击。
Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback
- 构建通用执行模型,识别回滚中的五类安全失效模式
- 在五个主流框架中发现共性漏洞,攻击可实现恶意代码绕过
- 开发多智能体分析流水线,实测验证回滚后状态不一致风险
AI智能体正趋向持久化、有状态的执行,其运行状态与外部影响一旦失败便难以重建。检查点与回滚(C/R)成为恢复关键,但其安全影响仍鲜有研究。我们首次系统性研究现有智能体系统的检查点与回滚安全问题。通过分析代表性智能体C/R系统,我们梳理出现有机制的设计空间,并建立通用执行模型以刻画其恢复边界与状态依赖。基于该模型,我们识别出五类根本性故障模式:内部状态不完整或不一致、外部依赖过期、非确定性重放及未记录的外部效应。进一步通过三个端到端攻击,在Hermes、Cline和LangGraph上实现恶意验证绕过、未经授权的邮件转发与双重支付。为系统评估这些缺陷,我们开发了多智能体分析流水线,可重构执行语义、识别五类故障条件并经实际回滚验证。在五个代表性框架中,这些缺陷广泛存在,源于检查点恢复状态与安全续行所需依赖之间的根本性差距。
原文摘要 · Abstract (English)
AI agents are moving toward persistent, stateful execution across various applications, accumulating execution state and external effects that are costly to reconstruct after failures. Checkpoint and rollback (C/R) are becoming essential for recovery, yet their security implications remain largely unexplored. Correct rollback does not imply secure recovery: a faithfully restored checkpoint may resume an execution whose states, assumptions, and external effects never coexisted in any valid history. In this paper, we present the first systematic security study of checkpoint and rollback in existing agent systems. By examining representative agent C/R systems, we characterize the design space of existing C/R mechanisms and develop a general execution model that captures their recovery boundaries and state dependencies. From this model, we identify five fundamental failure modes spanning incomplete or inconsistent internal state, stale external dependencies, nondeterministic replay, and unrecorded external effects. We further demonstrate their security impact through three end-to-end attacks on Hermes, Cline, and LangGraph, enabling malware-verification bypass, unauthorized mail forwarding, and double payment. To systematically study these failures in practice, we develop a multi-agent analysis pipeline that reconstructs execution semantics, identifies violations of the five failure conditions, and validates them through actual rollback. Across five representative frameworks, our evaluation shows that these failures recur across heterogeneous C/R designs and stem from a common gap between the state restored by a checkpoint and the dependencies required for secure continuation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。