4、资源受限物联网基础设施的安全所有权转移

资源受限物联网基础设施的安全所有权转移

1. 研究贡献与流程概述

本文的贡献主要包括以下几点：
- 分析物联网基础设施所有权转移问题，发现其安全要求与以往标签组所有权转移分析中的要求相似但不完全相同。
- 提出一种新颖的物联网基础设施所有权转移模型和协议，该协议使用可信第三方（TTP）并仅采用对称密码学来促进资源受限物联网设备的安全所有权转移。
- 展示所提出的所有权转移方案的概念验证实现和性能评估。
- 使用Tamarin Prover和逻辑推理对所提出的所有权转移协议进行安全分析。

研究流程如下：首先介绍系统模型，确定安全要求并给出问题定义；接着提出所有权转移模型和协议设计；然后对所提出的转移协议进行安全分析；再描述概念验证实现，包括性能基准测试；最后介绍和讨论相关工作，并总结贡献和展望未来工作。

2. 系统模型与假设

考虑的物联网部署由许多物联网设备组成，这些设备由设备管理服务器（DMS）部署和管理，DMS由某个实体拥有和运营，该实体通常是公司，也可以是个人或机构。物联网部署可服务于多种目的，如工业控制系统、建筑自动化系统或用于监测环境污染的智能传感器网络。

DMS通常不与物联网设备物理相邻，通过中间网络（通常是互联网）与物联网设备通信。本文考虑的物联网设备是资源受限设备，其计算能力（如处理能力和内存）有限，仅能进行对称密码学操作，因为非对称密码学所需的复杂计算会消耗这些设备稀缺的能量和内存。受限设备可用的无线通信技术通常是低功耗有损网络（LLNs），其带宽、范围有限且存在数据包丢失问题，这限制了与物联网设备之间的数据传输量。DMS被假定为计算能力强大的服务器，可位于拥有和运营物联网部署的实