用BAN逻辑方法分析TLS协议

摘要：

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

关键词： BAN逻辑 TLS协议 形式化分析密码协议

作者: 马英杰 肖丽萍 何文才 李彦兵

作者单位: 燕山大学(河北);北京电子科技学院(北京) 燕山大学(河北) 北京电子科技学院(北京)

会议类型: 国内会议

会议名称: 2004中国通信集成电路技术与应用研讨会

会议地点: 杭州

会议语种:中文

页码: 134-139

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