Bardin Gate ART
内容检查与代理自身的安全
投递之前，从声明到证据
ART 从不相信文件就是别人所说的那样。来自代理的每个声明、每个文件和每条元数据都被视为敌意输入。声明只能提前拒绝明显被禁止的内容；最终裁决始终由设备依据它所保存的字节作出，并附有具名的证据和具名的版本。
完整性
在保存的文件上重新计算 SHA-256。
观察到的事实
大小、类型、压缩包和文档结构只读取一次，供所有检查共用。
声明与观察对比
不一致本身就是证据；声明从不凌驾于观察之上。
校验
针对文件名、类型、压缩包、PDF 和 Office 文档，以及 JSON、XML 和 CSV 等结构化数据的规则。
检查
ClamAV 和 YARA，各自运行在隔离的进程中。
策略
只有策略作出决定：允许、拒绝、隔离或送审。
规则和引擎只产生证据。决定只由策略作出，传输的每个阶段都由固定的流程掌管，因此没有任何扫描器、读取文件的程序或界面能自行宣布文件干净。
遇到任何未知都拒绝放行
| 情况 | 行为 |
|---|---|
| 引擎不可用、崩溃、超时或返回格式错误 | 不确定；传输不会继续 |
| 缺少必需的证据，或其版本未知 | 拒绝，绝不静默放行 |
| 超出压缩包或资源限制 | 拒绝，不做不安全的解压 |
| 确定的恶意发现 | 隔离；绝不改用更弱的工具重试 |
发送方会收到结果和一个参考代码。只有获授权的角色才能在控制台中凭该代码查阅证据，因此答复不会教会攻击者什么能通过。
代理本身就是一道边界
| 方面 | 如何保护 |
|---|---|
| 密钥与身份 | 代理的密钥在计算机本地生成，并在有条件时保存在系统的安全存储中。注册需要证书请求和管理员的明确批准；安装代理本身并不代表批准。 |
| 本地副本 | 每个用户的副本都用系统安全存储所持有的密钥加密，并与同一台计算机上的其他用户隔离。 |
| 连接 | 双方都有身份的 TLS 1.3。每台代理主机都有自己可吊销的证书；主机名或 IP 地址从来不是身份。 |
| 文件 | 只处理普通文件，不跟随链接；在源端和队列中分别计算哈希，一步发布到固定根目录并回读校验。 |