基于项节点图模型的前向安全性分析

摘要：

目前对基于口令的密钥交换协议的安全性分析大多只考虑了基本安全性而没有考虑前向安全性;口令的泄漏不会会导致旧的会话密钥的泄漏;长期秘密的泄漏不会导致口令的泄漏.文中对这类协议的前向安全性进行了讨论.提出一个项节点图模型,在这个模型下,形式化证明了EKE协议的前向安全性,并指出A-EKE协议中存在的前向安全性漏洞,基于项节点图给出其不意攻击路径并提出了修改方法.项节点模型可以很容易的进行程序实现,实现自动化分析.

关键词： 密钥交换协议 前向安全 项节点图 口令

作者: 李莉 孙海波 薛锐 张焕国 冯登国

作者单位: 武汉大学计算机学院(武汉) 中国科学院软件所信息安全国家重点实验室(北京)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 262-268

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）