两个认证密钥协商协议的前向安全性分析

摘要：

目前,网络安全及隐私受到广泛关注.前向安全性是Günther在1989年提出的一种认证密钥协商协议(AKA)的安全属性(doi:10.1007/3-540-46885-4_5),该性质经过30年的蓬勃发展已经成为研究领域的热点之一.该文主要分析了MZK20和VSR20两个AKA协议.首先在启发式分析的基础上,利用BAN逻辑分析了MZK20协议不具有弱前向安全性;其次利用启发式分析和Scyther工具证明了VSR20协议不具备前向安全性.最后,在分析VSR20协议设计缺陷的基础上,提出了改进方案,并在eCK模型下证明了改进后协议的安全性;并且,结合Scyther软件证明了改进VSR20协议与VSR20协议相比明显提高了安全性.

关键词：安全协议形式化工具分析、认证密钥协商协议、前向安全性

所属期刊栏目：44

分类号：TN918;TP309

资助基金：国家自然科学基金61872449

在线出版日期：2022-12-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：4294-4303