基于去中心化标识符与可验证凭证的机器人商品配送中用户赋能隐私保护安全验证
密码学与安全
2022-08-15 v1 机器人学
摘要
在 COVID-19 等呼吸道疫病时代，我们理解基于机器人的配送系统对于确保安全和无接触快递投递的必要性。基于区块链的去中心化标识符（DID）在保持可审计性与匿名性的同时，赋予人们对其身份的完全掌控。人类手机与机器人都是内置芯片制造的机器，使得在机器人与客户之间部署基于物理不可克隆函数（PUF）的验证系统十分简便。本文提出一种新颖框架及首个用于已验证快递投递的客户验证方案，利用区块链赋能的 DID 与 PUF 赋能的机器人。我们采用 DID 在机器人（服务提供者）与客户间进行客户认证，并采用 PUF 供客户验证机器人。我们还将所提工作付诸实践，并展示了其在吞吐量、延迟、计算开销与通信开销方面的能力。我们还基于 tamarin prover 给出了所提用户验证方案的形式化安全证明。
引用
@article{arxiv.2208.06165,
title = {Customer Empowered Privacy-Preserving Secure Verification using Decentralized Identifier and Verifiable Credentials For Product Delivery Using Robots},
author = {Chintan Patel},
journal= {arXiv preprint arXiv:2208.06165},
year = {2022}
}