基于无源RFID标签与区块链的物流信息真实性证明

在追踪大批量货物（机器人自动化）物流时，出于成本考虑倾向于使用廉价的无源RFID标签。相应地，在RFID的诸多问题中，此类标签与读写器之间的安全性已被主要研究。然而，若物流服务商可能提供虚假信息，则数据的真实性无法得到保证。尽管区块链常被讨论，但其仅是一个记录系统，因此存在虚假记录被写入的风险。作为解决方案，我们提出了一种设计：由具备数字签名、位置受限且防篡改的读写器，在读取并写入标签的同时，以原子方式将证据写入区块链。通过半形式化建模，我们确认了信息在整个系统中的机密性与完整性可得以维持，并且即便私钥或签名算法可能泄露、公钥证书过期，经数字签名的数据日后仍可被验证。我们还引入了一个原型设计以表明该方案可行。这使得利用廉价无源RFID标签追踪真实物流信息成为可能。此外，通过将读写器抽象为传感器/执行器，该模型可推广至通用IoT。