基于规划系统的密码协议安全性验证机制研究

摘要：

本文提出了一种基于规划系统的密码协议形式模型,即密码协议规划系统,将对密码协议安全性的验证建模为对规划问题的求解,详细描述了模型的建立过程,包括协议运行的初始状态、主体(包括攻击者)动作和安全性目标等。最后,以NS公钥协议为例,采用该密码协议模型对其认证性进行了分析。结果表明,利用该模型对密码协议进行分析非常有效,所得结论与其他方法分析结果相同。

关键词： 密码协议 规划系统 安全性验证 模型分析

作者: 赵宇 王亚弟 韩继红 范钰丹 朱玉娜 张超 高伟

作者单位: 中国人民解放军信息工程大学电子技术学院,郑州,450004 中国人民解放军78300部队,昆明,650032

会议类型: 国内会议

会议名称: 第五届中国信息和通信安全学术会议

会议地点: 长沙

会议语种:中文

页码: 12-18

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