arXiv cs.AI· Genliang Zhu, Chu Wang·· 1 天前AI 评分31
面向 AI 计算机使用智能体的跨接口授权协议
Cross-Interface Authorization for AI Computer-Use Agents
AI 导读
研究者提出一种面向固定版本计算机使用部署的 profile 限定授权协议，枚举产生效果的路径与持久化 sink，在提交时重新校验路径、效果、授权与状态，并要求 sink 回执一致。参考 profile 注册 12 类效果、5 种接口和 60 条路径，两种运行时映射各覆盖 1,732 个场景、生成 3,464 条 trace，独立检查器拒绝 26/26 语义回归。
正文 · AI 翻译
摘要：计算机使用代理通过图形界面、命令行、API、脚本和模型上下文协议服务器进行操作。策略决策可以是接口无关的，但其可执行授权并非如此：另一条路径可能绕过中介、更改与安全相关的默认值，或在授权状态已改变后提交。我们提出一种针对固定、版本化计算机使用部署的配置文件限定协议。它枚举承载效应的路径和持久汇点，检查路径到汇点的执行切面，将每个具体请求规范化为规范效应，签发路径绑定的准备票据，并在提交时再次验证路径、效应、授权、跟踪、配置文件、清单和权威状态。已提交的结果需要一致的汇点回执。在明确假设下，我们证明了配置文件限定细化、匹配效应决策不变性、对替代路径洗白和声明的跨表面重组的抵抗性、提交时状态安全性以及基于回执的结果。
参考配置文件注册了 12 个效应族、五个接口和 60 条路径。两种结构不同的运行时映射在 1,732 个场景上各产生 3,464 条跟踪：960 次提交、2,312 次拒绝和 192 次重新准备后的提交。独立检查器接受所有保留的跟踪和配对，并拒绝 26/26 个语义回归；覆盖率和规范化器套件分别拒绝 24/24 和 720/720 个突变体；168/168 个提交探针与其声明结果匹配。冻结源审计通过了对来自两个独立混合运行时和一个公共授权基底的 12 个文件的 52 项检查。源形状适配器细化提交 48/48 个插桩调用，并拒绝 15/15 个未绑定案例。由此产生的保证约束声明的配置文件及其效应语义。
| 评论： | 31 页，2 幅图，7 张表。包括形式化结果、两个参考运行时映射、突变测试、提交时竞态探针、源形状适配器检查以及冻结外部源审计。保证约束注册的部署配置文件和声明的效应语义 |
| 主题： | 人工智能（cs.AI） |
| 引用为： | arXiv:2610.41397 [cs.AI] |
| （或 arXiv:2610.41397v1 [cs.AI] 为此版本） | |
| https://doi.org/10.48550/arXiv.2610.41397 arXiv 通过 DataCite 签发的 DOI（待注册） |
提交历史
来自：Chu Wang [查看电子邮件]
[v1]
2026 年 10 月 30 日星期五 08:07:51 UTC（48 KB）
来源：arXiv cs.AI · arxiv.org