Otway Rees协议的安全分析

• 作者: 孙学波 曾子维 李鹏
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 安全协议 BAN逻辑 Otway Rees协议
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 安全技术
• 页码范围: 122-124
• 页数: 3页
• 分类号: TP3
• 字数: 2772字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2006.02.049

摘要

互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法.本文通过使用BAN逻辑证明Otway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾子维	鞍山科技大学计算机科学与工程学院	11	102	6.0	10.0
2	孙学波	鞍山科技大学计算机科学与工程学院	5	28	3.0	5.0
3	李鹏	鞍山科技大学计算机科学与工程学院	4	8	2.0	2.0