基于ECC的可证明安全的匿名身份验证和物联网关键协议方案的安全评估

科学领域:

• 网络安全 网络安全
• 网络安全 网络安全
• 物联网 (IoT) 的物联网 (IoT) 的物联网.

背景情况:

• 物联网 (IoT) 由于设备漏洞,给数据和用户隐私带来了重大挑战.
• 强大的身份验证和关键协议 (AKA) 协议对于物联网设备和服务器之间的安全数据交换至关重要.
• 之前提出的基于ECC的物联网AKA方案声称具有全面的安全性.

研究的目的:

• 批判性地分析基于ECC的新型匿名身份验证和关键协议 (AKA) 对物联网的安全性.
• 识别和证明之前提出的物联网 AKA 协议中的漏洞.
• 为提高物联网协议的安全性提出建议.

主要方法:

• 使用扩展的Canetti和Krawczyk (eCK) 模型进行安全分析,模拟强大的对手.
• 逻辑和数学验证协议的安全假设和功能.
• 使用互联网安全协议和应用程序自动验证 (AVISPA) 工具进行正式验证.

主要成果:

• 分析的基于ECC的AKA方案被证明是易受各种安全攻击的.
• 该协议未能满足基本安全要求,包括会话密钥安全性.
• 错误的安全假设是原始协议声称的安全的基础.

结论:

• 之前提出的基于ECC的物联网AKA协议并不像声称的那样安全.
• 对于物联网来说,急需改进和严格验证的AKA协议.
• 提供了建议,以指导开发更具弹性的物联网安全解决方案.