本文分析了 SecureDNA 系统的安全设计、工程与实现。SecureDNA 是一个用于 DNA 合成仪的危险序列筛查系统，它通过新颖的密码学手段在查询过程中隐藏订单请求和危险数据库的内容。作者基于版本 1.0.8 的源代码，对密钥管理、证书基础设施、认证和速率限制机制进行了深入剖析，并首次采用形式化方法分析了其互认证、基础请求和豁免处理协议。研究发现，尽管密码学算法本身未被攻破，但自定义的互认证协议 SCEP 仅实现了单向认证：危险数据库和密钥服务器无法确认与其通信的对端身份。这一结构性弱点违反了纵深防御原则，使得攻击者在合成仪连接到恶意或受损的密钥服务器或哈希数据库时，能够绕过保护危险数据库机密性的速率限制。此外，还存在另一个结构性弱点：由于密码学绑定不足，系统无法检测到 TLS 通道内来自危险数据库的响应是否被修改。因此，如果合成仪在同一个 TLS 会话中重新连接数据库，攻击者可以在不破坏 TLS 的情况下重放或交换数据库响应。虽然当前实现不允许此类重连，但消除底层结构性弱点是更健壮的安全工程做法。作者提出了缓解措施并进行了验证，包括增加强绑定。软件版本 1.1.0 已采用其提出的 SCEP+ 协议修复 SCEP。该研究为生物安全领域关键基础设施的协议设计提供了重要参考，适合安全研究人员、协议设计者及生物技术安全工程师阅读。

本文提出将网络安全领域的威胁建模方法系统地应用于现代生物安全领域。传统生物安全主要关注病原体本身，但随着合成生物学和基因编辑技术的发展，生物系统面临与信息系统类似的安全挑战。作者借鉴了成熟的网络安全威胁建模框架（如STRIDE、攻击树、纵深防御等），针对生物安全场景进行了适应性改造。核心贡献包括：1）构建了面向生物系统（如DNA合成、基因电路、细胞工厂）的威胁模型抽象层；2）定义了生物资产、威胁源、攻击面及风险缓解策略的映射关系；3）通过案例分析验证了模型在预测合成生物学攻击路径上的有效性。研究指出，生物网络安全应该从“防御特定病原体”转向“保障生物系统的完整性与可靠性”，从而形成跨学科的主动防御能力。本文适合生物安全研究人员、网络安全从业者及政策制定者阅读。

该论文研究了自动化PCR（聚合酶链反应）过程中面临的安全威胁，并提出了相应的缓解措施。自动化PCR在生物医学研究中日益重要，但其自动化特性也引入了新的攻击面，如设备操控、数据篡改或程序干扰。论文可能分析了攻击向量，并设计了防护框架或安全协议。实验或案例分析展示了所提措施的有效性，有助于保障生物实验的可靠性和安全性。

该论文研究了语言模型在生物安全场景下的拒绝行为可靠性。传统评估关注模型是否生成有害输出，但本论文提出一个补充问题：当模型拒绝时，其拒绝是否结构稳固，抑或在提示措辞、格式或输出长度的微小变化下消失？作者在五种架构（Gemma 2 2B-IT、Gemma 4 E2B-IT、Qwen 2.5 1.5B、Phi-3-mini、Llama 3.2 1B）上进行了实验，使用75个提示评估模型对生物安全相关查询的拒绝一致性。结果显示，没有模型能清晰区分良性查询和有害查询。Gemma 2 2B-IT在75个提示中从未真正拒绝，对每个接近危险的查询都采取规避态度；Gemma 4 E2B-IT在使用聊天模板格式时拒绝65/75，但无格式时拒绝0/75；两个Gemma模型在80 token限制下拒绝率降至0%。Qwen 2.5 1.5B和Phi-3-mini则过度拒绝，将83-87%的良性生物学查询标记为有害。Llama 3.2 1B展现了唯一有意义的分级梯度（61点跨度）。为探究过度拒绝的驱动因素，作者测试了一组Schedule I但生物无毒性的化合物（特别是裸盖菇素培养，具有FDA突破性疗法地位），部分模型对这些化合物的拒绝率甚至超过真正的生物危险物，表明拒绝行为更多取决于法律和文化显著性，而非CBRN（化学、生物、放射性和核）危害程度。为测量内部状态，作者引入了分歧分数D，比较模型表面响应标签与其内部稀疏自编码器（SAE）特征激活之间的差异。在Gemma 2 2B-IT（使用Gemma Scope 1）和Gemma 4 E2B-IT（作者训练的Bio SAE）上计算了完整D。发布了两个微调后的Gemma 2领域SAE。在Gemma 4上，遵守与拒绝响应之间D分数差距为0.647，且零重叠（n=75），但该结果仍是初步的，存在类别目录狭窄、样本内校准及仅涵盖Gemma家族SAE等局限。本工作在消费级硬件（GTX 1650 Ti Max-Q，SAE训练用Colab T4）上一个黑客马拉松周末完成，表明激活级审计可能揭示行为评估无法发现的失败模式，且不同架构间存在显著差异。