SecureDNA 系统安全设计、工程与实现的分析
密码学与安全
2025-12-11 v1
摘要
我们从系统设计、工程和实现方面分析了 SecureDNA 系统的安全特性。该系统使 DNA 合成器能够针对危险数据库筛选订单请求。通过应用新型密码学，该系统旨在保持订单请求和危险数据库的机密性。我们通过部分源代码（版本 1.0.8）来辨别系统的详细操作，分析了密钥管理、证书基础设施、认证和速率限制机制。我们还对相互认证、基本请求和豁免处理协议进行了首次形式化方法分析。在不破解密码学的前提下，我们的主要发现是 SecureDNA 自定义的相互认证协议 SCEP 仅实现了单向认证：危险数据库和密钥服务器永远不知道它们在与谁通信。这一结构性弱点违反了纵深防御原则，使攻击者能够在合成器与恶意或被篡改的密钥服务器或哈希数据库连接时绕过保护危险数据库机密性的速率限制。我们还指出另一个违反纵深防御原则的结构性弱点：密码学绑定不足使系统无法检测来自危险数据库的 TLS 通道内响应是否被篡改。因此，如果合成器通过同一 TLS 会话重新连接数据库，攻击者可以在不破解 TLS 的情况下重放和替换数据库的响应。尽管 SecureDNA 实现不允许此类重连，但避免底层结构性弱点将属于更强的安全工程实践。我们识别了这些漏洞并提出和验证了缓解措施，包括添加强绑定。软件版本 1.1.0 通过我们提出的 SCEP+ 协议修复了 SCEP。
引用
@article{arxiv.2512.09233,
title = {Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System},
author = {Alan T. Sherman and Jeremy J. Romanik Romano and Edward Zieglar and Enis Golaszewski and Jonathan D. Fuchs and William E. Byrd},
journal= {arXiv preprint arXiv:2512.09233},
year = {2025}
}
备注
A shorter version of this paper will appear in the Proceedings of the Network and Distributed System Security Symposium (NDSS) 2026 published by the Internet Society