AgenTest:挖掘业务规则以测试 LLM Agent 的业务逻辑缺陷
AgenTest 从系统提示、工具定义和领域知识中挖掘业务规则,细化为 Given-When-Then 规格,并逐条构造环境状态与模拟用户进行多轮测试。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
AgenTest 从系统提示、工具定义和领域知识中挖掘业务规则,细化为 Given-When-Then 规格,并逐条构造环境状态与模拟用户进行多轮测试。
论文提出 KNOX,将 AI 工作负载运行在 TEE 内以构建监管沙箱,并针对给定用户提示生成受证实的策略清单,列出适用法规、预期工具调用与允许的系统调用。执行器执行动作前,受证实的参考监视器会将其与策略清单比对,仅在匹配时放行,每个动作与判定都记入受证实的执行图供监管方核验。作者称 KNOX 满足合规、保密、可证实与可扩展四项要求,能检查法规合规性与提示词注入等导致的行为偏离,开销低于 1%。
arXiv 论文提出组合式授权失败(CAF)概念,指单个工具调用或一对调用各自通过本地护栏,却违反跨意图、目的、来源、同意与委托的全局策略。核心结论是一条不可行性结果:关系型目的违规属于 2-safety 超属性,没有单条轨迹上的归责点,因此从不误报的逐动作监控无法检出,只有跨执行监控才能发现,而作者调研的六款护栏均未实现。
研究团队开发了 CAESAR,一个面向协作搜救训练的多用户混合现实框架,集成四类认知攻击并配套多模态数据采集管线,用于系统评估对抗条件下的认知攻击。受控用户研究深入分析了基于延迟的攻击,显示其对任务表现和用户行为产生可测量影响,并刻画了用户的主观体验。该工作已被 2026 IEEE ISMAR 接收,并将发表于 IEEE TVCG 特刊。
HydraPoT 是一个可配置多智能体蜜罐框架,将传统仿真、轻量 LLM 与云端 LLM 结合,按可配置的复杂度策略把每条攻击者命令路由到合适的智能体,并通过共享会话状态保持跨智能体切换的一致性。其运行时开销低于 5%,在异构智能体间保持上下文,保真度接近纯云端 LLM 蜜罐;在案例策略下云端处理 token 减少 72.6%,运营成本降低 3.7 倍。该成果已被 AINTEC 2026 接收。
arXiv 论文 2610.26664 提出将蜜罐作为 AI 控制方法,在生产环境中布置有害行为的诱饵机会,用于检测、归因和威慑犯错、被攻陷或目标不对齐的内部 AI Agent。作者认为蜜罐可在思维链可监控性下降时仍识别恶意 Agent,并向安全团队发出告警,还能低成本扩展到大量 Agent 实例。论文同时讨论了蜜罐的局限,并提出测试其鲁棒性、与其他监控方法比较检测效果等研究问题。
针对组织内部 AI Agent 因失误、被攻陷或目标错位构成的内部威胁,研究者提出将蜜罐作为 AI 控制手段,在生产环境中布设诱饵有害操作机会以检测不当行为、锁定恶意 Agent 并威慑攻击。
NIOCIS 是一个面向工具调用 Agent 的路由层,将执行日志折叠为循环折叠动作图,由小模型单次读取校准分布、不输出文本,直接决定下一跳选项或停止。在 1,615 条生产安全运营 episode 上,类型化编码器在 3,875 个留出决策中与日志下一跳一致率 32.2%(限定声明选项内 34.9%),编码耗时 10 ms,而每次 LLM 跳转需 2.2 s。
论文提出 connection escrow 机制,用 98 条指令的 eBPF 程序挂在 Pod 的 cgroup 上,把受监管 Pod 的每条出站 TCP 连接扣在内核 connect() 路径中,在任何数据包生成前拦截。
论文提出“可问责的部分理解”(APU)框架,用于应对 Agentic AI 系统中软件自主读写、解释并授权安全相关行为所带来的认知攻击面。作者给出四类相互作用的攻击分类(针对意图解释、证据生产与消费、委托权限范围、人类监督者理解),并规定 APU 的六项必要条件与五项设计原则。
AutoRedClaw 是一个面向持久化 claw 式 LLM Agent 的自动化红队框架,可同时生成端到端状态投毒攻击及其运行所需的任务环境,并据此构建 330 例的 RedClaw-Bench 基准。
论文提出 CoRedSkill,一种针对可复用 Agent skills 的组合式红队方法:把恶意操作拆分到多个协作 skill 中,借助抽象语法树(AST)改写任务辅助函数,同时保持接口与可见任务逻辑不变,使单个 skill 包看起来无害,而在 Agent 按序调用时拼装成完整攻击。
论文《When Agents Talk, Secrets Travel》研究多智能体LLM系统(MALS)中由常规协调转发导致的隐私泄露,无需攻击者介入。作者在coordinator-worker、peer-to-peer、hierarchical三种拓扑下评估485个场景,插桩7个通信通道,产生8,730次执行记录。
研究团队提出工具感知的模糊测试框架 ToFu,针对 LLM-编排层-工具信任边界,在 273 个 MCP 服务器、3405 个工具上发现 343 个工具存在经人工确认的漏洞,涵盖路径遍历、日志注入、SSRF、OS 命令注入等 CWE 类别。