第 2 章 威胁模型与信任边界
本章建立统一的威胁模型与信任边界词汇:我们保护哪些资产、攻击者能做什么、 哪些假设必须成立,以及在认证失败或参数不一致时系统必须如何“失败关闭”。
文档信息
- 白皮书版本
- v1.0
- 最后更新
- 2026-01-14
2.1 资产清单
- 内容机密性:文件明文字节与解密密钥(CEK)必须受到保护。
- 内容完整性:密文与元数据必须可检测篡改(AEAD 认证)。
- 访问控制:短期访问 token、发送方登录 token 以及撤销状态。
- 可用性:在常见网络条件下上传、下载并续传的能力。
2.2 攻击者模型
- 网络攻击者:可以观察、延迟、丢弃和重放流量;无法破解现代 TLS/AEAD 密码学。
- Web 攻击者:可以构造恶意链接,尝试 XSS/CSRF,并尝试界面注入/提示词注入。
- 滥用者:可以自动化上传/下载,以耗尽配额、抓取内容或放大流量。
- 假定服务端对手不掌握 CEK;若 CEK 泄露(例如链接被分享出去),按设计机密性即告丧失。
2.3 安全假设
- 客户端执行的是可信代码(没有恶意扩展/恶意软件);否则零知识无法保护终端本身。
- 按标准浏览器行为,URL fragment(
#...)不会通过 HTTP 请求传输到服务器。 - 密码学原语(AES-GCM、SHA-256、TLS)使用正确且未被攻破。
2.4 信任边界
- 客户端边界:加密/解密与 CEK 管理仅在客户端进行。
- 边缘/API 边界:服务端校验 token 并提供密文/manifest;不得获知 CEK。
- 对象存储边界:存储密文分片与 manifest;就机密性而言视为不可信。
2.5 失败关闭原则
- 出现 token 校验失败、参数不一致或 AEAD 认证失败时,系统必须失败关闭。
- 完整性校验失败时,不得输出任何部分明文。
- 错误信息与日志应尽量减少敏感数据,且不得包含 URL fragment、CEK 或可推导材料。