VERID: towards verifiable IoT data management
VERID: towards verifiable IoT data management
复制标题
DOI：
10.1145/3302505.3310074
复制
发表时间：
2019-04
期刊：
影响因子：
--
通讯作者：
Xin Li;Minmei Wang;Shouqian Shi;Chen Qian
中科院分区：
文献类型：
--
作者：
Xin Li;Minmei Wang;Shouqian Shi;Chen Qian
确保存储在第三方云中的感应数据的真实性和完整性是许多物联网应用的正确性和安全性的关键任务。尽管已经研究了十多年的可验证数据外包，但是由于硬件约束，部署功能和IoT的应用要求，当前的解决方案并不完全适合物联网系统。本文介绍了Verid，这是一种专为物联网应用程序设计的可验证数据管理系统。 Verid实现了重要的远程选择和汇总感应数据的查询，同时为资源构成的物联网设备施加了最小的开销。我们重要的创新是一种称为prefixMHT的计算和空间效率的身份验证数据结构，该数据结构适合资源约束的物联网设备，并支持范围和汇总查询。我们设计了一种新的签名聚合方案，称为浓缩双线性配对，以进一步提高效率。使用真实物联网数据集的实验表明，Verid能够提供数据查询的真实性，完整性和完整性，同时比可能的方法相比，在计算，内存和通信效率方面实现了实质性优势。
Ensuring the authenticity and integrity of the sensing data that are stored in a third-party cloud is a crucial task for the correctness and safety of many IoT applications. Although verifiable data outsourcing has been studied for over a decade, current solutions are not fully suitable for IoT systems, due to the hardware constraints, deployment features, and application requirements of IoT. This paper presents VERID, a verifiable data management system designed for IoT applications. VERID enables important ranged selection and aggregate queries of sensing data while imposing minimal overhead for resource-constraint IoT devices. Our important innovation is a computational and space-efficient authentication data structure called PrefixMHT which fits into resource-constrained IoT devices and supports both range and aggregate queries. We design a new signature aggregation scheme called Condensed Bilinear Pairing to further improve the efficiency. The experiments using real IoT datasets show that VERID is able to provide authenticity, integrity, and completeness of data queries while achieving substantial advantages in computation, memory, and communication efficiency than possible methods.