Ruledger：确保触发 - 动作物联网平台的执行完整性
密码学与安全
2024-03-01 v1
摘要
智能家居物联网系统利用触发 - 动作平台（例如 IFTTT）来管理来自不同供应商的设备。然而，这些系统可能被滥用，通过伪造的物联网设备或事件触发恶意规则执行，从而违反执行完整性和用户意图。为解决此问题，我们提出了一种基于账本的物联网平台 Ruledger，它通过验证相关信息的真实性来确保规则的正确执行。Ruledger 利用智能合约强制验证与规则执行相关的信息，例如来自用户的用户和配置信息、设备事件以及触发 - 动作平台中的触发器。特别是，我们开发了三种算法以启用基于账本 - 钱包的 Ruledger 应用，并保证用于验证的记录是有状态且正确的。因此，即使智能家居系统中的设备和平台受到损害，也能确保规则的执行完整性。我们在真实的物联网平台（即 IFTTT）中构建了 Ruledger 原型，并在各种设置下评估了其性能。实验结果表明，Ruledger 产生的平均延迟为 12.53%，这对于智能家居系统是可以接受的。
引用
@article{arxiv.2402.19011,
title = {Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms},
author = {Jingwen Fan and Yi He and Bo Tang and Qi Li and Ravi Sandhu},
journal= {arXiv preprint arXiv:2402.19011},
year = {2024}
}