Skip to main content

Capability 与 Evidence

Capability 是对某个资源和动作的有界权限。pVisor 按维度描述 capability,因为单一的 safesandboxed 标签无法准确表达 Agent 环境。

维度请求示例应检查的 Evidence
文件读取只读项目和工具链中的指定路径可见 root 与实际安装的读取控制
文件写入只写 staged workspace写边界与 promotion 决策
网络只访问声明的目标截获路径与抗绕过能力
进程启动受限子进程namespace/profile 与继承句柄
凭据使用一个短期身份交付、过期和实际使用
工具与模型调用声明的 endpoint策略决策与路由记录

请求的权限与实际安装的 enforcement 是不同事实。必需维度无法满足时,admission 必须拒绝 该 Provider。可选控制只有在 Run record 明确报告降级时才能弱化。

Evidence 依次回答四个强度不同的问题:

  1. Declared:请求了什么策略?
  2. Mediated:哪些动作经过控制点?
  3. Enforced:在声明的 threat model 中阻断了哪些绕过路径?
  4. Attested:enforcement 是否绑定到这次 Run 和实际 Provider?

具体执行的答案应从 Run Bundle 检查。返回 pVisor 核心概念,通过 网络指南配置一个 capability 维度,或阅读 pVisor 隔离设计了解平台机制。执行、编排和历史之间的完整 信任链见安全与 Evidence