车联网下身份认证密钥协商方案的研究

摘要

针对车联网身份认证密钥协商中存在的假名更新异常和随机数可预测引发的隐私泄露问题，提出一种基于对称密码学的身份认证密钥协商方案.该方案通过可信机构维护车辆最近两个周期的协商信息，实现通信中的异常检测与状态恢复，确保假名正常更新；利用哈希函数强化秘密值的保护机制，避免弱随机数生成引发的隐私泄露.方案在随机预言机模型下证明了密钥安全性，借助Scyther Tool模型检测工具和非形式化方法对方案满足的安全属性进行分析.与现有方案相比，在保障安全性的前提下，该方案在计算开销、通信开销和通信时延方面具有一定优势，能够有效适应车联网中资源受限的实际应用场景.

关键词

车联网 / 身份认证密钥协商 / 假名更新 / 隐私泄露 / 模型检测