💻 computer science

A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification

本文提出了一种基于可信执行环境（TEE）的新型架构，旨在解决作者身份验证中连续过程证明的依赖性与抗篡改挑战，通过引入分级输入保障、弹性证据链协议及形式化可靠性模型，在 Intel SGX 平台上实现了低开销、高可用且具备快速恢复能力的硬件级保护方案。

原作者： David Condrey

发布于 2026-03-03

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： David Condrey

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文提出了一种非常聪明的解决方案，用来解决一个棘手的信任问题：如何证明一篇文章真的是你亲手写的，而不是电脑自动生成的，或者被黑客篡改过的？

想象一下，你正在参加一场重要的在线写作考试。监考老师（验证者）不在现场，而你的电脑（平台）完全由你自己控制。这时候，你完全可以在后台运行一个程序，瞬间生成一篇完美的文章，然后假装是你一个字一个字敲出来的。这就是论文里提到的“信任倒置”——最该被怀疑的人，恰恰是控制设备的人。

为了解决这个问题，作者设计了一套基于**可信执行环境（TEE）**的“防作弊写作监控器”。我们可以用几个生动的比喻来理解它：

1. 核心概念：把“黑匣子”变成“透明保险箱”

传统做法（软件监控）： 就像让一个不诚实的管家帮你记录你写了什么。如果管家想作弊，他可以偷偷把记录改掉，你根本发现不了。
本文做法（TEE 技术）： 作者在电脑里建了一个**“透明但坚不可摧的保险箱”**（这就是 TEE，比如 Intel SGX）。
- 这个保险箱只有你能看到里面的内容，但连电脑的操作者（也就是你自己）也无法打开或篡改它。
- 所有的写作证据（你敲字的节奏、停顿时间、内容变化）都直接流进这个保险箱里。
- 即使你想作弊，你也只能控制保险箱外面的世界，却进不去保险箱内部去修改证据。

2. 工作流程：像“连环锁”一样记录

这个系统不是简单地拍一张照片，而是像**“时间胶囊”**一样连续工作：

实时捕捉： 当你打字时，保险箱会记录你两次按键之间的时间间隔（比如你思考时停顿了几秒）。这就像记录你的“笔迹习惯”。
连续盖章（SWF 链）： 每隔 30 秒，保险箱会生成一个“时间证明”。它用一种特殊的数学锁（Argon2id），把上一秒的证据和这一秒的证据锁在一起。
- 比喻： 就像你每写一段话，就盖一个章，而且这个章是粘在上一段话的。如果你想把中间一段删掉重写，后面的所有章都会失效，因为链条断了。
封存证据： 每过 30 秒，这些证据会被“密封”并保存在本地硬盘上。即使电脑突然断电、死机，重启后也能从上次密封的地方继续，不会丢失之前的记录。

3. 应对突发状况：即使电脑“晕倒”也能恢复

电脑总会出故障（比如死机、断网）。如果证据链断了，之前的努力可能就白费了。这个系统设计了**“复活机制”**：

断网了怎么办？ 保险箱会在本地继续工作，把证据先存起来（就像把信先塞进邮筒，等网络通了再寄出）。
电脑死机了怎么办？ 重启后，系统会打开上次“密封”的证据包，验证它没被篡改，然后从断点继续。
比喻： 就像你在写日记，突然停电了。你有一个特殊的日记本，每次停电前都会自动把这一页用胶水粘死。来电后，你撕开胶水，确认这一页没被换过，然后接着写下一页。

4. 三个层级的“防作弊”力度

系统根据输入设备的安全程度，分成了三个等级：

Level 1（软件级）： 就像普通的键盘输入。虽然防不住高级黑客，但至少能防止简单的篡改。
Level 2（系统级）： 需要操作系统配合，难度更高。
Level 3（硬件级）： 就像使用银行专用的安全键盘，直接从硬件层面确认信号来源，几乎无法伪造。

5. 实际效果：快、稳、省

作者在真实的电脑（Intel SGX 芯片）上测试了这个系统：

速度极快： 每 30 秒检查一次，只占用电脑不到 0.3% 的算力。你几乎感觉不到它的存在，就像在背后默默工作的隐形保镖。
极其可靠： 模拟测试显示，即使电脑经常死机或断网，系统也能保持 99.5% 以上的时间都在正常工作并记录证据。
恢复迅速： 如果死机了，重启并恢复证据只需要不到 0.2 秒。

总结

这篇论文的核心思想是：不要相信软件，要相信硬件。

它通过把“写作证据”关进一个连电脑主人自己都打不开的“黑匣子”，并利用数学链条将每一秒的证据锁死，从而证明了：“这篇文章确实是一个真实的人类，在特定的时间段内，一笔一划写出来的。”

这就像给写作过程装上了一个**“不可篡改的行车记录仪”**，无论司机（用户）怎么想作弊，记录仪里的录像（证据）都是铁证如山。这对于在线考试、版权认证、法律文件签署等场景具有巨大的应用价值。

这是一份关于论文《基于 TEE 的机密且可靠的作者身份验证进程证明架构》（A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification）的详细技术总结。

1. 研究背景与问题定义 (Problem)

核心挑战：信任倒置 (Trust Inversion)
在传统的作者身份验证（如验证人类是否亲自撰写文档）中，证据收集基础设施通常运行在由被验证方（即潜在的作恶者）控制的硬件平台上。这构成了“信任倒置”场景：

攻击者能力：攻击者控制操作系统、Hypervisor 及 TEE 之外的所有软件，有动机伪造证据（如模拟打字行为、篡改时间戳）。
现有方案局限：纯软件方案无法提供可信保证；现有的远程证明（RATS）框架仅验证系统状态，无法验证连续的物理过程（如持续数小时的写作过程）。
可靠性缺口：可信执行环境（TEE）虽然提供了硬件隔离，但面临 enclave 崩溃、网络分区、侧信道攻击等可靠性挑战。如果证据链出现中断（Gap），可能导致数小时的证据失效。

研究目标
设计一种架构，能够在不可信的宿主平台上，利用 TEE 进行连续的进程证明（Process Attestation），确保证据收集的机密性（隐私）、完整性（防篡改）和高可用性（即使发生崩溃也能恢复）。

2. 方法论与架构设计 (Methodology)

该论文提出了一种基于 TEE（如 Intel SGX、ARM TrustZone、AMD SEV-SNP）的连续进程证明架构，核心包含以下模块：

2.1 系统架构

角色：作者（Attester，运行在不可信主机上）、写作应用、TEE 飞地（Enclave，证据收集管道）、验证者（Verifier）、依赖方。
证据管道（在 Enclave 内运行）：
1. 输入接收：通过安全通道接收击键事件，使用单调序列号防止重放攻击。
2. 特征提取：分析击键间隔（IKI）、香农熵、认知负荷统计等。
3. 时序证明 (SWF)：每 30 秒生成一次检查点，使用 Argon2id 生成内存硬化的序列工作函数链，证明时间流逝。
4. 跨域约束纠缠 (CDCE)：将内容、行为和时间证据通过 HMAC 绑定，HMAC 密钥由 SWF 输出派生。
5. 签名与密封：使用 enclave 持有的密钥签名，并将状态密封（Seal）到本地存储以支持崩溃恢复。

2.2 分级输入保障 (Graduated Input Assurance)

针对输入通道这一薄弱环节，提出了三级保障机制：

Tier 1 (软件)：HMAC 保护的共享内存。攻击者可注入合成事件，但无法篡改传输中的事件。
Tier 2 (OS 中介)：内核级输入钩子（如 Linux evdev），将伪造难度提升至内核妥协级别。
Tier 3 (硬件绑定)：安全输入路径（如 TrustZone 可信输入控制器），验证物理设备来源。

2.3 弹性证据链协议 (Resilient Evidence Chain Protocol)

崩溃恢复：Enclave 重启后，解密并验证最近一次密封的检查点（包含状态和哈希链），从断点继续生成证据，并插入“恢复标记”记录中断时长。
离线证明：在网络分区期间，Enclave 继续本地生成并密封证据。重连后按序传输。
完整性证明：基于 Theorem 1，只要密封提供认证加密且哈希函数抗碰撞，恢复后的链完整性即可保证（概率可忽略）。

2.4 可靠性建模

使用连续时间马尔可夫链 (CTMC) 对系统可用性进行建模。
状态定义：Active (运行中)、Degraded (网络分区但本地运行)、Recovering (崩溃恢复中)、Failed (密封损坏需冷重启)。
关键指标：
- ECA (Evidence Chain Availability)：证据链可用时间占比。
- MTBEG (Mean Time Between Evidence Gaps)：证据间隙平均时间。
- RTO (Recovery Time Objective)：恢复时间目标。

3. 主要贡献 (Key Contributions)

首个 TEE 内连续进程证明架构：提出了在 TEE 飞地内收集连续证据的完整架构，支持从软件到硬件绑定的分级输入保障。
基于 CTMC 的可靠性模型：推导了 ECA、MTBEG 和 RTO 的闭式解表达式，量化了系统在崩溃和网络分区下的表现。
弹性证据链协议：设计了支持密封状态恢复、离线证明和形式化完整性证明的协议，解决了 TEE 崩溃导致证据链断裂的问题。
组合安全分析：在信任倒置模型下，结合侧信道泄漏（ $\epsilon_{sc}$ ）、DoS 和时钟攻击进行了形式化安全分析，证明了在侧信道泄漏有界的情况下，系统仍能抵抗伪造。
SGX 实证评估：在 Intel SGX 平台上实现了原型系统，并进行了全面的性能与可靠性评估。

4. 实验结果 (Results)

基于 Intel SGX2 平台（128 MiB EPC）的评估结果如下：

性能开销：
- 每个检查点（30 秒间隔）的 CPU 开销 < 25%（具体为 63ms vs 51ms）。
- 相对于 30 秒的检查点间隔，实际占用时间 < 0.3%，对用户无感知。
- 即使在 5 秒间隔下，CPU 占用率也仅为 1.26%。
可靠性 (Availability)：
- 在蒙特卡洛模拟（10,000 小时，Poisson 故障模型）中，ECA > 99.5%（具体为 99.95%）。
- 即使在没有密封恢复（仅冷重启）的情况下，ECA 仍保持在 99.72%。
- 图 3 显示，即使崩溃率高达 $10^{-2}$ /小时，密封恢复机制仍能维持 ECA > 99.5%。
恢复时间 (RTO)：
- 密封恢复：平均 148 ms（P99: 195 ms），主要耗时在于 Argon2id 重新初始化。
- 冷重启：平均 1.87 秒。
安全性：
- 侧信道泄漏被建模为 $\epsilon_{sc} \le 2^{-64}$ （基于隐藏熵的保守估计），在此假设下，伪造证据的优势可忽略不计。
- 在 KLiCKe 语料库（4971 名作者）上的验证显示，提取的行为特征对四种攻击类型的 AUC 达到 0.78。

5. 意义与结论 (Significance)

范式转变：该架构将信任模型从“相信软件”转变为“验证硬件隔离”。通过 TEE 的硬件强制隔离，解决了在敌对控制平台上进行连续进程证明的根本性难题。
填补空白：首次解决了 TEE 在连续进程证明中的可靠性（Dependability）问题，特别是针对证据链中断和恢复的机制，这是现有 TEE 证明框架（如 RA-TLS）所缺乏的。
实际应用价值：
- 隐私保护：支持离线写作和本地处理，无需将敏感数据上传至服务器。
- 高可用性：通过密封恢复机制，确保即使发生崩溃或网络中断，长时间会话的证据链依然完整有效。
- 可扩展性：虽然目前基于 SGX 评估，但架构设计兼容 ARM TrustZone 和 AMD SEV-SNP，并提供了降级方案（Tier 1 软件保障）。
局限性：侧信道泄漏边界 $\epsilon_{sc}$ 目前为推测值，需实验验证；Tier 1 输入仍易受合成注入攻击；目前仅评估了 SGX2。

总结：这篇论文提出了一种创新的、基于硬件隔离的连续进程证明解决方案，通过结合形式化安全分析、可靠性建模和高效的工程实现，为作者身份验证、在线考试监考等需要高可信连续证据的场景提供了坚实的技术基础。