最新资讯
dev.to 如何在专用 GPU 服务器上用 OpenAI 兼容 API 部署 LLM dev.to 审计 153 份 Claude Code 与 Codex 会话记录:User-Agent 与 URL 中的邮箱泄露 dev.to 你的 Agent Harness 应具备的 17 项能力 dev.to 离线 AI 记忆中 0.8 余弦阈值为何失效 dev.to Kimi K3.1 Pro 开放权重:自托管 2.8T 模型前的开发者清单 dev.to 如何通过工具调用引导模型以提升 Harness 质量 dev.to AI Agent 审计轨迹不等于对话记录 dev.to 精简 MCP server 工具数量:更少工具、更小影响面,双重收益 dev.to 为什么 git checkout 无法撤销 AI 编码 agent 的改动? wechat AI短剧门槛降降降!实测即梦短剧工作室:剧本分镜预演一条龙,伙伴计划长期护航 dev.to 让模型改写文档前,先量化事实保真度 dev.to 回放 153 个 Claude Code 与 Codex 会话,审计 Agent 的生产影响范围
多元动态
登录 注册
智能体 arxiv.org · @Geng Yang

CONTINUITY:可组合LLM Agent控制的安全上下文契约

原文 我的收藏

该论文指出LLM Agent系统中单独正确的安全机制在组合时可能失效,提出CONTINUITY框架,通过假设-保证契约和认证上下文传递实现可验证的安全组合。实验覆盖32种故障类别,在2560个攻击实例中未产生有害外部效果,但需注意实验为模拟环境,实际部署效果待验证。

AI推荐理由 该论文提出CONTINUITY框架,针对LLM Agent安全控制组合中的安全上下文不连续问题,形式化端到端后果完整性,并通过大规模故障注入实验验证。信息密度高,来源为arXiv预印本,但未经同行评审,且实验为模拟环境,实际效果待验证。

82

正文

计算机科学 > 密码学与安全 arXiv:2609.05269v1 (cs) [提交于2026年9月4日] 标题:CONTINUITY:可组合LLM智能体控制的安全上下文契约 作者:Chris Zheng, Geng Yang 查看论文PDF,标题为“CONTINUITY: Security-Context Contracts for Composable LLM Agent Controls”,作者Chris Zheng等1人 查看PDF HTML(实验性) 摘要:LLM智能体系统日益结合来源追踪、授权、策略执行、协议适配器和执行控制。然而,单独正确的安全机制不一定能组合成端到端的安全系统:当动作跨越组件边界时,安全关键上下文可能被丢弃、放宽、重新绑定或重新解释。我们将这种失败模式识别为安全上下文不连续性,并引入CONTINUITY,一个用于智能体安全控制可验证组合的框架。 CONTINUITY使用假设-保证契约对每个组件建模,并使用签名根授权、来源承诺、角色绑定转移收据、有界类型释放、转换见证和效果绑定执行许可,在转换之间携带认证的安全上下文。我们形式化了端到端后果完整性,要求每个实现的外部效果都必须由有效且当前的授权见证支持,该见证将主体、任务、来源、委托、策略状态、规范动作和最终性边界联系起来。 我们实现了一个参考验证器和确定性跨层故障注入套件,覆盖四个应用领域的32个故障类别。在跨越128个故障域类别的2,560个参数化攻击实例中,完整的CONTINUITY配置没有产生有害的外部效果,同时完成了所有700个良性任务并升级了所有200个模糊案例。这些结果表明,安全的智能体执行不仅需要健全的个体控制,还需要明确的契约,以在完整的指令到效果路径上保持其保证。 评论: 主题: 密码学与安全 (cs.CR);人工智能 (cs.AI) ACM类别: D.4.6; I.2.11 引用为: arXiv:2609.05269 [cs.CR] (或 arXiv:2609.05269v1 [cs.CR] 用于此版本) https://doi.org/10.48550/arXiv.2609.05269 聚焦了解更多 arXiv发布的DOI via DataCite(待注册) 提交历史 来自:Chris Zheng [查看电子邮件] [v1] 2026年9月4日星期五 15:26:35 UTC (62 KB) 全文链接: 访问论文: 查看论文PDF,标题为“CONTINUITY: Security-Context Contracts for Composable LLM Agent Controls”,作者Chris Zheng等1人 查看PDF HTML(实验性) TeX源 查看许可证 当前浏览上下文: cs.CR 新 | 最近 | 2026-09 更改为浏览: cs cs.AI 参考文献与引用 NASA ADS Google Scholar Semantic Scholar 导出BibTeX引用 加载中... BibTeX格式引用 × 加载中... 数据由以下提供: 书签 书目工具 书目与引用工具 书目浏览器切换 书目浏览器(什么是浏览器?) 关联论文切换 关联论文(什么是关联论文?) Litmaps切换 Litmaps(什么是Litmaps?) scite.ai切换 scite智能引用(什么是智能引用?) 代码、数据、媒体 与本文相关的代码、数据和媒体 alphaXiv切换 alphaXiv(什么是alphaXiv?) 代码链接切换 CatalyzeX论文代码查找器(什么是CatalyzeX?) DagsHub切换 DagsHub(什么是DagsHub?) GotitPub切换 Gotit.pub(什么是GotitPub?) Huggingface切换 Hugging Face(什么是Huggingface?) ScienceCast切换 ScienceCast(什么是ScienceCast?) 演示 演示 Replicate切换 Replicate(什么是Replicate?) Spaces切换 Hugging Face Spaces(什么是Spaces?) Spaces切换 TXYZ.AI(什么是TXYZ.AI?) 相关论文 推荐与搜索工具 链接到Influence Flower Influence Flower(什么是Influence Flowers?) 核心推荐器切换 CORE推荐器(什么是CORE?) 作者 会议/期刊 机构 主题 关于arXivLabs arXivLabs:与社区合作者的实验项目 arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。 与arXivLabs合作的个人和组织都接受并认可我们的开放、社区、卓越和用户数据隐私价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。 有一个能为arXiv社区增加价值的项目想法?了解更多关于arXivLabs的信息。 这篇论文的哪些作者是背书人?| 禁用MathJax(什么是MathJax?)
查看原文(中文正文为 AI 翻译)
Computer Science > Cryptography and Security arXiv:2609.05269v1 (cs) [Submitted on 4 Sep 2026] Title:CONTINUITY: Security-Context Contracts for Composable LLM Agent Controls Authors:Chris Zheng, Geng Yang View a PDF of the paper titled CONTINUITY: Security-Context Contracts for Composable LLM Agent Controls, by Chris Zheng and 1 other authors View PDF HTML (experimental) Abstract:LLM agent systems increasingly combine provenance tracking, authorization, policy enforcement, protocol adapters, and execution controls. However, individually correct security mechanisms do not necessarily compose into an end-to-end secure system: security-critical context may be dropped, widened, rebound, or reinterpreted as actions cross component boundaries. We identify this failure mode as security-context discontinuity and introduce CONTINUITY, a framework for verifiable composition of agent security controls. CONTINUITY models each component with an assume-guarantee contract and carries authenticated security context across transitions using signed root grants, provenance commitments, role-bound transition receipts, bounded typed releases, transformation witnesses, and effect-bound execution permits. We formalize end-to-end consequence integrity, requiring every realized external effect to be backed by a valid and current authorization witness linking the principal, task, provenance, delegation, policy state, canonical action, and finality boundary. We implement a reference verifier and deterministic cross-layer fault-injection suite covering 32 fault classes across four application domains. In 2,560 parameterized attack instances spanning 128 fault-domain classes, the full CONTINUITY configuration commits no harmful external effect, while completing all 700 benign tasks and escalating all 200 ambiguous cases. These results show that secure agent execution requires not only sound individual controls, but explicit contracts that preserve their guarantees across the complete instruction-to-effect path. Comments: Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI) ACM classes: D.4.6; I.2.11 Cite as: arXiv:2609.05269 [cs.CR] (or arXiv:2609.05269v1 [cs.CR] for this version) https://doi.org/10.48550/arXiv.2609.05269 Focus to learn more arXiv-issued DOI via DataCite (pending registration) Submission history From: Chris Zheng [view email] [v1] Fri, 4 Sep 2026 15:26:35 UTC (62 KB) Full-text links: Access Paper: View a PDF of the paper titled CONTINUITY: Security-Context Contracts for Composable LLM Agent Controls, by Chris Zheng and 1 other authors View PDF HTML (experimental) TeX Source view license Current browse context: cs.CR new | recent | 2026-09 Change to browse by: cs cs.AI References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Loading... BibTeX formatted citation × loading... Data provided by: Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer (What is the Explorer?) Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media Code, Data and Media Associated with this Article alphaXiv Toggle alphaXiv (What is alphaXiv?) Links to Code Toggle CatalyzeX Code Finder for Papers (What is CatalyzeX?) DagsHub Toggle DagsHub (What is DagsHub?) GotitPub Toggle Gotit.pub (What is GotitPub?) Huggingface Toggle Hugging Face (What is Huggingface?) ScienceCast Toggle ScienceCast (What is ScienceCast?) Demos Demos Replicate Toggle Replicate (What is Replicate?) Spaces Toggle Hugging Face Spaces (What is Spaces?) Spaces Toggle TXYZ.AI (What is TXYZ.AI?) Related Papers Recommenders and Search Tools Link to Influence Flower Influence Flower (What are Influence Flowers?) Core recommender toggle CORE Recommender (What is CORE?) Author Venue Institution Topic About arXivLabs arXivLabs: experimental projects with community collaborators arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs. Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

来源报道 · 1 篇 · 以下链接均前往原始媒体

← 返回精选动态 原文

更多内容