用途:设计与审计隔离边界,使不可信代码、解析不可信字节的解析器、租户或 AI 智能体在被攻陷时仍被设计性围堵。任务开始时须明确选择 BUILD 或 AUDIT 模式。
BUILD 模式:先分类威胁(不可信代码/不可信输入/多租户),据决策表选取边界下限,不得静默低于该下限,若受约束只能取弱边界需写入风险接受;先枚举需求(文件、系统调用、网络目的地、CPU/内存/墙钟、凭据),沙箱配置即需求清单的反向——其余全部拒绝;按规则组合内核原语、容器/编排加固、应用内隔离、智能体专用控制等独立分层,各层须独立失效模式且失败即关闭;做到临时性与可观测(每个信任单元一个沙箱,用完销毁;动作与出口日志置于边界之外)。交付物含威胁分类、边界选择及理由、具体配置、沙箱内验证探针与残余风险清单。
AUDIT 模式:清点涉及不可信内容的工作负载→分类→对比实际边界与下限→走相关规则文件审计清单→尽可能经验验证(检查运行规格、执行探针、搜索 shell=True、--privileged、docker.sock、automountServiceAccountToken)。
规则索引:rules/01 隔离边界(威胁分类、边界强度排序、分层、失败关闭、反模式);rules/02 Linux 加固(命名空间、cgroups v2、默认拒绝 seccomp-bpf、Landlock、能力丢弃、只读根文件系统、AppArmor/SELinux);rules/03 容器与微虚机(Docker/OCI 运行标志、gVisor/Kata/Firecracker 选型、Kubernetes Pod 安全、默认拒绝网络策略、运行时检测);rules/04 进程与应用沙箱(解析器隔离、代理/权限分离、WASM/WASI、V8 isolates、子进程卫生);rules/05 AI 智能体沙箱(模型生成代码执行、提示注入、致命三要素、工具权限范围、MCP 风险、出口白名单、限额与终止开关)。
发现格式含严重度、位置、威胁类、缺口、影响与修复;严重度分 Critical/High/Medium/Low。非协商项包括:边界不得低于威胁下限、各层用白名单、失败即关闭、沙箱内无秘密、丢弃全部能力、资源配额与墙钟终止、不得挂载 Docker/CRI 套接字或使用 --privileged、默认拒绝出网、解析器隔离、按信任域临时化。
限制:资料未提供具体价格、平台支持范围与实测效果数据。