机构名称：
¥ 11.0
摘要 摘要 摘要 摘要 RFID（射频识别）是一种识别技术，在各个领域的使用越来越引起人们的极大兴趣。然而，这些 RFID 系统面临的最大挑战之一是安全性。为了确保良好的安全性并保护这些系统用户的隐私，使用了加密技术。由于 RFID 系统的特点是资源有限（内存、计算能力），因此用于这些系统的加密协议必须使用轻量级或超轻量原语。已经为 RFID 系统提出了许多加密协议。不幸的是，尽管设计和实现这些协议需要大量的时间和精力，但大多数协议都发现了漏洞和安全缺陷。在使用之前对其进行验证成为至关重要的需求。在这项工作中，我们对基于 AVISPA&SPAN 工具的密码协议的形式化验证感兴趣。我们检查了两个协议：第一个 (R 2 AP) 被证明是完美的。另一方面，第二个（HMNB）容易受到两种攻击（重放攻击和中间人攻击）。对于后者，我们提出了一项改进，事实证明可以抵抗攻击
安全协议的自动验证... - UMMTO
主要关键词
相关文件推荐
