In the age of respiratory illnesses like COVID 19, we understand the necessity for a robot based delivery system to ensure safe and contact free courier delivery. A blockchain based Dynamic IDentifier gives people total power over their identities while preserving auditability and anonymity. A human mobile phone and a robot are machines created with a chip, making it simple to deploy a physical unclonable function based verification system between the robot and the customer. This article presents a novel framework and a first customer verification scheme for verified courier delivery utilizing the blockchain enabled DID and PUF enabled robots. We employ DID for customer authentication between a robot (a service provider) and a customer and PUF for robot verification by the customer. We ve also put the proposed work into practice and demonstrated its capabilities in terms of throughput, latency, computing cost, and communication cost. We also show formal security proof for the proposed user verification scheme based on the tamarin prover.
翻译:在呼吸系统疾病(如COVID 19)的时代,我们理解基于机器人的运载系统对于确保安全和接触免费信使的交付的必要性。基于链的动态识别器在保持可审计性和匿名性的同时,赋予人们对其身份的全部权力。人类移动电话和机器人是用芯片制造的机器,使得在机器人和客户之间部署基于物理的、不可调用功能的核查系统变得简单。本文章提出了一个新框架和第一个客户核查计划,用于利用已启用的链路和已启用的PUF机器人核实信使的交付。我们用它来验证一个机器人(一个服务提供商)与客户核查机器人的客户和PUF之间的客户认证。我们还将拟议的工作付诸实践,并展示其在吞吐量、拉特朗特、计算成本和通信成本方面的能力。我们还为基于塔马林验证仪的拟议用户核查计划展示了正式的安全证据。