一个基于PUF的安全身份验证和关键协议方案,用于无人机互联网

科学领域:

• 网络安全 网络安全
• 机器人技术 机器人技术 机器人技术
• 网络工程 网络工程

背景情况:

• 无人机互联网 (IoD) 提供了显著的好处,但由于公共通讯道和物理无人机的易受性,它面临着安全漏洞.
• 现有的身份验证和密钥协议 (AKA) 方案,如Sharma等. 该公司在2023年提出的基于PUF的提案被发现不足,未能防止假冒身份,被盗验证器和短暂的秘密泄露 (ESL) 攻击,同时也损害了用户匿名性.

研究的目的:

• 为无人机互联网 (IoD) 提出专门为无人机互联网 (IoD) 设计的新,安全,轻量级的身份验证和密钥协议 (AKA) 方案.
• 解决和纠正以往基于PUF的AKA系统在IoD环境中发现的安全缺陷,包括防伪,ESL和物理攻击.
• 确保用户在 IoD 环境中的无法追踪性和匿名性.

主要方法:

• 开发一个新的基于PUF的AKA方案,利用轻量级加密操作 (哈希函数,XOR),适合无人机计算限制.
• 使用正式方法进行严格的安全验证,包括Burrows-Abadi-Needham (BAN) 逻辑,Real-or-Random (ROR) 模型以及互联网安全协议和应用程序自动验证 (AVISPA) 工具.
• 非正式的安全分析和对现有相关工作进行比较性绩效评估,重点关注安全特性,计算开销,通信成本和能源消耗.

主要成果:

• 拟议的方案证明了对广泛的安全威胁的强有力的抵抗力,包括对无人机的物理捕获攻击.
• 正式和非正式的分析证实了该计划的安全有效性及其保护用户匿名性和不可追踪性的能力.
• 绩效评估表明,拟议方案在计算上高效,与现有解决方案相比,通信和能源成本较低.

结论:

• 开发的AKA计划有效地提高了无人机互联网 (IoD) 的安全性和隐私性.
• 它的轻量级性质和对各种攻击的抵抗力使其成为对资源有限的IoD环境的合适和高效的解决方案.
• 这项工作有助于在IoD生态系统中安全部署和运行各种无人机应用程序.