用BAN逻辑方法分析TLS协议

• 作者: 何文才 李彦兵 肖丽萍 马英杰
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: BAN逻辑 TLS协议 形式化分析密码协议
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 微机网络与通讯
• 页码范围: 20-23
• 页数: 4页
• 分类号: TN915.04
• 字数: 3128字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2006.01.008

摘要

密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠.BAN逻辑是最早提出、最为重要的一种安全协议分析方法,被广泛地用于密码协议的安全性证明.文章介绍了BAN逻辑和TLS协议,用BAN逻辑分析TLS协议,从而证明TLS协议的双方认证协议是完整的、没有漏洞的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何文才		62	381	11.0	16.0
2	肖丽萍		45	284	8.0	16.0
3	马英杰		3	28	2.0	3.0
7	李彦兵		10	54	5.0	7.0