智谱 · GLM · 论文

• 论文定位：该研究是针对开源与闭源代码智能体harness原生安全机制的系统性实证分析与基准评测。
• 核心问题：针对代码智能体harness安全机制实现状态不透明、在对抗环境下防护能力及对合法开发效用影响缺乏定量评估的问题展开研究。
• 方法体系：作者构建了包含10类安全机制的分类法，通过研究人员与LLM独立评审审计了40款harness的400个单元格；进一步提出包含23个任务的HARNESSSECURITY-BENCH，在隔离容器中利用确定性预言机评测6款harness在开启与关闭机制下的表现。
• 关键实验发现：
  • 在GLM-5.2基线与6款harness测试中，开启auto-approve使总体任务效用从77.1%升至95.4%，但ASR从29.2%升至95.6%（Table 6）。
  • 网络隔离（NI）与只读模式（RO）大幅降低攻击效果，总体ASR分别降至0.8%和0.8%，但分别带来24.5和34.0个百分点的效用损失（Table 6、Table 7）。
  • 命令白名单（CAL）将ASR降至50.0%且效用仅微降1.5个百分点；命令黑名单（CDL）将ASR降至1.3%，同时因阻断破坏性操作使效用提升5.2个百分点（Table 6）。
• 绕过路径与安全风险：案例分析显示，限制共享能力会同时误伤合法操作，且仅限制特定直接命令仍可通过受信任的解释器等替代路径绕过控制（Section 6.3）。
• 作者建议与启示：作者建议harness提供商发布机制级说明并暴露运行时生效设置以增强可验证性，针对受保护资源测试所有替代访问路径，并在评估安全机制时综合权衡攻击效果、任务效用与资源执行开销。

AgentHazard 是针对计算机使用智能体执行层安全构建的评估基准，重点探究多步工具调用下局部合理动作累积引发的危害。

• 核心定位与挑战：智能体具有持久状态与直接操作环境的权限，现有基于单轮提示词或静态代码生成的安全评估无法捕捉由多步交互逐步拼凑而成的有害行为。
• 基准构建流程：设计了涵盖 10 种风险类别与 10 种攻击策略的分类框架，通过在合法任务上下文中嵌入有害约束，结合沙箱真实执行过滤、多模型评判与人工审核，提炼出 2,653 个高质测试用例。
• 智能体框架高攻击成功率：在全轨迹评测中，Claude Code 搭载 GLM-4.6 时 ASR 达到 82.90%（平均有害得分 7.05），搭载 Qwen3-Coder 时 ASR 为 73.63%；IFlow 下 Qwen2.5-Coder-32B-Instruct 的 ASR 达到 74.70%（Table 2）。
• 静态防护模型有效性受限：主流独立防护分类器在首轮输入时的检出率均低于 5%，即使拼接全部任务步骤，表现最好的 Llama-Guard-3-8B 不安全检出率也仅为 27.03%（Table 3）。
• 危害随交互步数逐步升级：多轮累积评测显示，Qwen2.5-Coder-32B-Instruct 在 IFlow 和 OpenClaw 中的 ASR 从第 1 轮到第 3 轮上升约两倍（Table 4），作者认为有害行为具有高度轨迹依赖性。
• 作者结论与启示：作者指出模型层对齐无法可靠保障自主智能体的安全性，单纯依靠任务前文本过滤不足以阻断风险，未来亟需发展具备轨迹感知能力与运行时拦截机制的智能体防御方案。

• 一句话定位：该论文提出了首个面向真实标准化候选密码原语的端到端自动化密码分析基准CryptanalysisBench，并对前沿大语言模型展开系统性评测。
• 要解决的问题：传统密码分析依赖人类专家，而既有大模型评测集中在玩具密码或人工植入脆弱点的CTF赛题，缺乏衡量AI对真实复杂密码算法分析与漏洞挖掘能力的严谨基准。
• 方法要点：汇集NIST竞赛等191个密码算法任务，划分为已知攻破的Tier 1、无已知实用攻击（含缩减与全强度）的Tier 2以及生产级Challenge Set；基于Docker双容器与HTTP API隔离构建形式化安全博弈交互，通过重测独立实例自动验证模型提交的攻击脚本。
• 主要实验结果：
  1. 五款前沿模型在Tier 1上取得65.3%–85.7%的成功率（Mythos 5攻破42/49，GLM-5.2攻破32/49），其中约78%的攻破源自算法数学与结构设计缺陷。
  2. 在全强度方案测试中，Mythos 5与Sonnet 5通过2次查询攻破了未修改的SpoC AEAD方案，Mythos 5攻破KINDI并揭示其NIST安全性证明中的错误，两项均为此前未公开的真实设计缺陷。
  3. 算力扩展测试表明，将时间预算放宽至16小时后，Mythos 5攻破了此前无法实现的SIKE、RLCE-KEM和WalnutDSA，成功率升至95.9%。
• 作者结论与启示：作者认为前沿模型已初步具备独立发现复杂密码原语设计缺陷的能力，失败更多受限于代码工程与特定求解算法的实现而非分析盲区；该基准可作为跟踪AI密码分析能力并辅助密码标准安全性压力测试的评估框架。