NS公钥协议新的分析方法

• 作者: 刘玉坤 赵伟艇
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 网络安全 安全协议 形式化分析 模型检测方法NS公钥协议
• 年，卷（期）: 2010,（4X）
• 页码范围: 3011-3013
• 页数: 3页
• 分类号: TP393.08

摘要

密码协议安全性的分析是当前网络安全研究领域的一个世界性难题。在函数式程序设计语言haskell中给出一种NS公钥协议的分析方法。在形式化建模时,以Dolev-Yao攻击者模型为前提假设,状态转移系统为框架,用语义编码的方式定义消息和事件,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。Haskell的惰性计算特性解决了对协议形式化分析的语义描述等关键问题,发现了NS协议的中间人攻击。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵伟艇	平顶山学院软件学院	36	88	5.0	7.0
2	刘玉坤	平顶山学院软件学院	21	41	4.0	5.0