AEP
中文 EN

SECURITY MODEL

安全模型

基于密码学可验证的零信任安全

安全模型概述

AEP 的安全设计围绕核心理念展开：提供客观、可验证的证据基础设施，而非主观担保内容结论的真假。协议不预设中心化信任，而是通过密码学与时间定序机制，让任何实体都能脱离原执行环境，对 Agent 行为的主体、发生时段与数据完整性进行客观审计追溯。

全链路安全属性建立在严格的非对称密码学、抗碰撞哈希算法、Merkle 树证明以及 RFC 3161 时间戳机制之上，让任何擅自篡改或伪造行为在密码学层面显露无疑。

密码学基础设施

SM2 / 非对称数字签名

基于离散对数与椭圆曲线数学假设，提供执行主体的真实性与不可否认性

SM3 / 密码学哈希算法

256 位安全哈希摘要，严格保证所有输入制品的雪崩级完整性校验

Merkle 树存在性证明

高效证明局部数据归属性，支持海量行为记录的高性能独立检索与校验

AEP TSA 可信时间戳

高精度因果时间定序（RFC 3161），为时序校验与重放识别提供时间证明

威胁模型与缓解策略

生成期数据篡改

攻击者在数据被哈希与签名之前，通过内存注入、调试器或 Rootkit 篡改 Prompt、参数与输出，生成形式合法而内容虚假的证据。

防御机制

毫秒级增量即时签名 + Merkle 链雪崩校验 + 环境哈希定期刷新，压缩篡改窗口并使任何改动即时暴露。

私钥窃取与仿冒

窃取签名私钥后伪造证据、重放旧签名或抵赖既有签名。

防御机制

私钥本地加密并支持 HSM/TEE 硬件保护；可信时间戳界定泄露时间分界，配合证书撤销（CRL/OCSP）核验。

证据包解析攻击

构造畸形 .aep 容器（ZIP 炸弹、路径遍历、超大嵌套）攻击验证器，试图触发崩溃或代码执行。

防御机制

内存安全语言实现、模糊测试、解压比与路径遍历校验、解析沙箱化。

哈希碰撞与算法降级

构造哈希碰撞绕过完整性校验，或在协商中诱导使用弱算法降低证据强度。

防御机制

仅采用抗碰撞哈希与最低 128-bit 安全强度算法策略，协商取最高强度交集并对降级行为告警。

七阶段独立核验详解

  1. 容器解析

    解构 .aep 容器层级，校验目录规范与跨路径逃逸防护

  2. 图谱构建

    提取对象拓扑关系，构建因果图谱并校验有向无环属性

  3. 对象校验

    基于 JSON Schema 严格校验事件、制品及元数据字段有效性

  4. Merkle 验证

    独立重算 Merkle 树根哈希，核实集合内容完整一致

  5. 签名与身份核验

    基于公钥及 AEP PKI 证书链校验非对称签名合法性与有效性

  6. 证据等级判定

    根据密码学强度与外部锚定状态精确判定证据等级（L0–L7 累计制，当前参考实现已落地 L0–L4，L5–L7 为协议预留）

  7. 客观审计报告

    生成机器可读的结构化审计报告（支持 JSON / SARIF / HTML）

客观安全声明

  • AEP 提供客观中立的密码学证据基础设施：证据全生命周期独立可验、透明可溯、支持全量审计。

  • 安全性依托现代公钥密码学与哈希抗碰撞假设，在现行算力条件下签名不可伪造、哈希不可逆。

  • Agent 私钥与证书生命周期管理是安全基石，私钥妥善保管是保证机器身份不可否认的前提。

  • AEP 聚焦行为证据链（Proof of AI Action），让一切非授权篡改与冒充在数学与密码学层面清晰可检。