We present a novel scheme called Decentralized Attestation for Device Swarms (DADS), which is, to the best of our knowledge, the first to accomplish decentralized attestation in device swarms. Device swarms are smart, mobile, and interconnected devices that operate in large numbers and are likely to be part of emerging applications in Cyber-Physical Systems (CPS) and Industrial Internet of Things (IIoTs). Swarm devices process and exchange safety, privacy, and mission-critical information. Thus, it is important to have a good code verification technique that scales to device swarms and establishes trust among collaborating devices. DADS has several advantages over current state-of-the-art swarm attestation techniques: It is decentralized, has no single point of failure, and can handle changing topologies after nodes are compromised. DADS assures system resilience to node compromise/failure while guaranteeing only devices that execute genuine code remain part of the group. We conduct performance measurements of communication, computation, memory, and energy using the TrustLite embedded systems architecture in OMNeT++ simulation environment. We show that the proposed approach can significantly reduce communication cost and is very efficient in terms of computation, memory, and energy requirements. We also analyze security and show that DADS is very effective and robust against various attacks.

中文翻译：

---

爸爸

我们提出了一种称为设备群分散证明（DADS）的新颖方案，据我们所知，这是第一个在设备群中完成分散证明的方案。设备群是智能、移动和互连的设备，可大量运行，并可能成为网络物理系统 (CPS) 和工业物联网 (IIoT) 中新兴应用的一部分。Swarm 设备处理和交换安全、隐私和关键任务信息。因此，拥有一种可扩展到设备群并在协作设备之间建立信任的良好代码验证技术非常重要。与当前最先进的群体证明技术相比，DADS 具有几个优点：它是分散的，没有单点故障，并且可以在节点受到破坏后处理不断变化的拓扑。DADS 确保系统对节点妥协/故障的恢复能力，同时保证只有执行真实代码的设备仍然是该组的一部分。我们在 OMNeT++ 仿真环境中使用 TrustLite 嵌入式系统架构对通信、计算、内存和能源进行性能测量。我们表明，所提出的方法可以显着降低通信成本，并且在计算、内存和能源需求方面非常有效。我们还分析了安全性并表明 DADS 对各种攻击非常有效且稳健。在 OMNeT++ 仿真环境中使用 TrustLite 嵌入式系统架构。我们表明，所提出的方法可以显着降低通信成本，并且在计算、内存和能源需求方面非常有效。我们还分析了安全性并表明 DADS 对各种攻击非常有效且稳健。在 OMNeT++ 仿真环境中使用 TrustLite 嵌入式系统架构。我们表明，所提出的方法可以显着降低通信成本，并且在计算、内存和能源需求方面非常有效。我们还分析了安全性并表明 DADS 对各种攻击非常有效且稳健。