Light-Weight Security Protocol and Data Model for Chip-to-Chip Zero-Trust

Ashfaq Ahmed,Abdulhadi Shoufan,Kais Belwafi
DOI: https://doi.org/10.1109/access.2023.3285630
IF: 3.9
2023-01-01
IEEE Access
Abstract:The semiconductor supply chain is vulnerable to multiple security attacks, such as hardware Trojan injection, intellectual property theft, and overproduction. The notion of zero-trust (ZT)– never trust, always verify– offers a promising opportunity for chip security by authenticating integrated circuits (ICs) when they are connected to critical computing systems. Before exchanging any data, the system establishes trust with the chip using industry security protocols. In this paper, we propose using the secure protocol and data model (SPDM) to establish chip-to-chip (C2C)- ZT communications. Furthermore, we present formal models for this solution and verify these models using state-of-the-art formal verification tools. The results show that the SPDM meets the requirements of the ZT architecture and can be used as a foundation for secure C2C interconnection.
computer science, information systems,telecommunications,engineering, electrical & electronic
What problem does this paper attempt to address?