SAFE^d：面向异构嵌入式设备网络的自证明
密码学与安全
2019-12-13 v2
摘要
物联网（IoT）是一种新兴范式，允许组建由小型独立设备构成的大型网络。为确保其完整性，从业者采用所谓的远程证明（RA）方案。经典 RA 方案需要一个称为验证者（Verifier）的中心化强大实体，其主要有两项职责：(i) 管理整个证明过程，以及 (ii) 保存用于验证设备完整性的所有证据。然而，拥有中心化验证者使网络依赖于外部实体，并引入了安全的单点故障。本工作中，我们提出 SAFE^d：首个允许一对 IoT 设备在不依赖外部验证者的情况下验证其完整性的 RA 方案。我们的方法通过将证据分散于多个 IoT 设备并使用新颖密码学机制确保安全通信，克服了以往的局限。此外，整个 IoT 网络可协作隔离被篡改设备，并在异常时恢复缺失证据。我们通过面向 Raspberry Pi 平台的实现及网络仿真评估了我们的方案。结果显示 SAFE^d 能检测受感染设备，并在故障或攻击时恢复多达 99.9% 的证据。此外，我们以网络和设备内存的对数级开销保护了多达 10K 台设备。
引用
@article{arxiv.1909.08168,
title = {SAFE^d: Self-Attestation For Networks of Heterogeneous Embedded Devices},
author = {Alessandro Visintin and Flavio Toffalini and Mauro Conti and Jianying Zhou},
journal= {arXiv preprint arXiv:1909.08168},
year = {2019}
}
备注
12 pages, 7 figures