目录
论文题目:A Blockchain-Based Nonrepudiation Network Computing Service Scheme for Industrial IoT
主要贡献:
- 提出了一个基于区块链的用于IIoT场景中的真正公平的不可否认服务提供方案;
- 设计了一种基于同态哈希技术的服务验证方法。
1.介绍
1.1 在不受信任的分布式IIoT场景中面临的安全挑战
不受信任的服务提供商可能提供不合格甚至恶意的服务,而不诚实的客户可能会出于自身利益甚至是虚假指控的目的,恶意拒绝获得正确的服务。缺乏有效的不可抵赖性纠纷解决机制意味着对这些互不信任的各方没有保障。
1.2 主要贡献
1)提出了一个基于区块链的真正公平的不可否认服务提供方案,用于工业物联网场景,区块链被用作证据记录器和服务发布代理。在确认之前的链上证据后,将所需要的服务程序切割成不可执行部分,通过链上和链外渠道分步骤交付,既可减轻区块链的负担,又可避免程序披露风险。但也强制提交证据,即使是链下行为,以确保我们的不可否认方案的真正公平性。
2)设计了一种基于同态哈希技术的服务验证方法,该方法可以仅仅基于轻量级链上证据而不是完整的服务程序代码来正确验证服务,支持我们模型的核心功能。
3)建立基于智能合约技术的公正、有效的纠纷解决机制,公平、高效地解决服务提供商和工业物联网客户之间的服务纠纷。
4)从理论上分析了我们的方案的安全性,并实现了一个实验原型,以评估其有效性和效率。
1.3同态、同态哈希函数
同态:是两个代数结构之间(群、环、向量)保持结构不变的映射,它保持所有相关的结构不变,从数学的角度上说,同态就是“保运算”。
举一个简单的例子:
考虑带加法运算的整数。保持加法不变的函数有如下性质:
f(a+b)=f(a)+f(b)
例如f(x)=3x就是这样的一个同态。因为 f(a+b)=3(a+b)=3a+3b=f(a)+f(b)。 且这个同态从整数映射回整数(整数的代数结构为群)。
同态哈希函数:是一种具有同态特性的抗碰撞hash函数,同态哈希函数可以将任意大小的数据映射为固定大小的数据而且满足同态映射。
Krohnet al.提出了最常用的抗碰撞单态哈希函数,如下所示哈希函数如下: