[论文解读] Smart Home Survey on Security and Privacy

Nisha Panwar, Shantanu Sharma+3 more|arXiv (Cornell University)|Apr 10, 2019

Cryptography and Data Security参考文献 19被引用 13

一句话总结

本文通过适配距离验证、ISO-KE、SIGMA、Schnorr、Okamoto IS 和 Pedersen 承诺等密码学协议，提出了一种用于智能家居的隐私保护安全模型，以解决设备间通信及用户与云服务之间的安全问题。结果表明，这些协议在平均延迟低于 8 ms 的情况下实现低延迟性能，适用于资源受限的智能家居环境，确保机密性和访问控制，且无需依赖在线可信第三方。

ABSTRACT

Smart homes are a special use-case of the Internet-of-Things (IoT) paradigm. Security and privacy are two prime concern in smart home networks. A threat-prone smart home can reveal lifestyle and behavior of the occupants, which may be a significant concern. This article shows security requirements and threats to a smart home and focuses on a privacy-preserving security model. We classify smart home services based on the spatial and temporal properties of the underlying device-to-device and owner-to-cloud interaction. We present ways to adapt existing security solutions such as distance-bounding protocols, ISO-KE, SIGMA, TLS, Schnorr, Okamoto Identification Scheme (IS), Pedersen commitment scheme for achieving security and privacy in a cloud-assisted home area network.

研究动机与目标

• 解决因对设备通信进行被动监控和推理攻击而引发的智能家居网络安全与隐私威胁。
• 基于设备间及用户与云服务交互的空间和时间特性，对智能家居服务进行分类。
• 适配现有密码学协议（如距离验证、ISO-KE、SIGMA、Schnorr、Okamoto IS 和 Pedersen 承诺）以实现在家庭自动化网络（HANs）中的安全私密通信。
• 在真实智能家居场景下，评估这些协议在计算延迟和通信开销方面的性能表现。
• 证明代理重加密和同态加密可在不暴露密钥或明文数据的前提下实现对加密数据的安全计算。

提出的方法

• 本文根据空间和时间动态特性，将智能家居服务划分为设备间（D2D）和用户与云（O2C）交互两类。
• 通过适配 ISO-KE、SIGMA 和 Schnorr 身份认证方案等成熟协议，为基于近距离的 HAN 提供相互认证和保密性保障。
• 利用 Python 3 中的 Charm Crypto 库实现并基准测试协议，测试环境采用椭圆曲线（prime192v1）和 1024 位安全素数的整数群。
• 评估基于 Elgamal 的代理重加密构造，以实现无需暴露秘密密钥的安全访问权限委派。
• 对同态加密（特别是 Pailler 方案）进行评估，以实现在加密数据上进行计算的同时保护隐私。
• 通过每种协议执行 1000 次来测量性能，重点关注执行时间与计算复杂度（如指数运算次数）。

实验结果

研究问题

• RQ1 如何适配密码学协议以保护智能家居中设备间及用户与云服务之间的交互？
• RQ2 在实时 HAN 环境中，所选协议的计算延迟开销是多少？
• RQ3 代理重加密和同态加密是否能够实现在不暴露私钥或明文数据的前提下安全访问和计算数据？
• RQ4 在资源受限的智能家居网络中，不同密码学方案在性能和通信效率方面如何比较？
• RQ5 这些协议在多大程度上可以无需在线可信第三方协助而运行？

主要发现

• 在 prime192v1 曲线上，ISO-KE 的平均执行时间为 3.899 ms，Schnorr IS 实现最低延迟，为 1.126 ms。
• 距离验证协议需要带外通信进行距离验证，但所有评估协议的运行时间均在零点几秒内，适用于实时 HAN 应用。
• 代理重加密方案实现了安全的权限委派，确保代理方和接收方均无法将访问权限转授给第三方。
• 使用 Pailler 方案的同态加密支持对加密数据进行加法运算，确保在数据聚合过程中保持机密性。
• 性能评估表明，计算开销与无线信号传播延迟相比可忽略不计，支持在智能家居中实际部署。
• 所有协议均成功使用 Charm Crypto 库实现，证实其在真实智能家居系统中的可行性。