GAROTA:通用主动信任根架构
密码学与安全
2021-03-03 v2
摘要
在本文中,我们着手为微型低端 MCU 系统性地设计最小主动 RoT(Root-of-Trust,信任根)。我们从以下问题出发:(1) 在存在恶意软件的情况下,保证动作执行需要哪些功能和硬件支持?(2) 如何高效地实现?(3) 此种主动 RoT 架构带来哪些安全收益?随后我们设计、实现、形式化验证并评估了 GAROTA:通用主动信任根(Generalized Active Root-Of-Trust Architecture)架构。我们认为 GAROTA 是首个针对低端 MCU 的主动 RoT 的清 slate 设计。我们展示了 GAROTA 如何保证即便完全被软件攻陷的低端 MCU 也能执行期望动作。我们通过在三类由传感硬件、网络事件和定时器触发动作的应用情境中实现 GAROTA,证明了其实用性。我们还形式化地规约并验证了 GAROTA 的功能与属性。
引用
@article{arxiv.2102.07014,
title = {GAROTA: Generalized Active Root-Of-Trust Architecture},
author = {Esmerald Aliaj and Ivan De Oliveira Nunes and Gene Tsudik},
journal= {arXiv preprint arXiv:2102.07014},
year = {2021}
}