RADIS：分布式物联网服务的远程证明
密码学与安全
2020-11-20 v2
摘要
远程证明是一种安全技术，通过它远程可信方（即验证者）可检查潜在不可信设备（即证明者）的可信性。在物联网(IoT)系统中，现有远程证明协议提出多种方法来检测被修改的软件与物理篡改攻击。然而，在可互操作的IoT系统中，IoT设备自主地相互交互，会产生一个额外问题：一个被攻陷的IoT服务可在不改变另一服务软件的情况下影响其正常运行。本文中，我们提出一种分布式IoT服务远程证明协议(RADIS)，以验证分布式IoT服务的可信性。RADIS不证明整个可互操作IoT设备的完整内存内容，而仅证明执行某特定功能所涉及的服务。RADIS依赖于控制流证明技术来检测因与恶意远程服务交互而执行非预期操作的IoT服务。我们的实验显示了该协议在验证分布式IoT服务完整性状态方面的有效性。
引用
@article{arxiv.1807.10234,
title = {RADIS: Remote Attestation of Distributed IoT Services},
author = {Mauro Conti and Edlira Dushku and Luigi V. Mancini},
journal= {arXiv preprint arXiv:1807.10234},
year = {2020}
}
备注
21 pages, 10 figures, 2 tables