收藏本站
《中国通信集成电路技术与应用研讨会论文集》2004年
收藏 | 手机打开
二维码
手机客户端打开本文

用BAN逻辑方法分析TLS协议

马英杰  肖丽萍  何文才  李彦兵  
【摘要】:密码协议的形式化成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。BAN逻辑是最早提出、最为重要的一种安全协议分析方法,它被最广泛地用于密码协议的安全性证明。文章介绍了BAN逻辑和TLS协议,用BAN逻辑分析TLS协议,从而证明TLS协议的双方认证协议是完整的、没有漏洞的。
【作者单位】:燕山大学 燕山大学 北京电子科技学院 北京电子科技学院
【分类号】:TN918.6

【相似文献】
中国期刊全文数据库 前10条
1 张玉清,吴建平,李星;BAN类逻辑的由来与发展[J];清华大学学报(自然科学版);2002年01期
2 解建军,李俊红;密钥分发协议及其形式化分析[J];河北师范大学学报(自然科学版);2003年06期
3 许剑卓,戴英侠,左英男;类BAN逻辑基本模型及缺陷[J];软件学报;2000年12期
4 张萌,许剑卓,左英男;类BAN逻辑的两个重要缺陷[J];计算机工程;2000年07期
5 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[J];微处理机;2006年01期
6 田建波,王育民;认证协议的形式分析——BAN逻辑[J];信息安全与通信保密;1998年04期
7 李军,何大可;密码协议的健全性分析[J];通信技术;2002年02期
8 刘文杰,傅海阳,吴蒙;LMDS系统安全认证协议的形式分析与改进[J];计算机工程;2003年22期
9 任侠 ,吕述望;密码协议分析的形式化方法研究[J];信息安全与通信保密;2003年04期
10 贾国梁 ,杨树堂 ,诸鸿文 ,李谢华;BAN逻辑与串空间相结合的安全协议分析方法[J];信息安全与通信保密;2005年03期
中国重要会议论文全文数据库 前9条
1 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
2 秦静;李宝;崔少军;李丽;;对OT协议的分析与改进[A];2005年信息与通信领域博士后学术会议论文集[C];2005年
3 于增贵;;密码设计中的安全漏洞[A];四川省通信学会2003年学术年会论文集[C];2003年
4 李亚敏;帅飞;高鑫鑫;;几种密码协议验证工具的比较和分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 李杏;李中年;;M~2E~2算法的研究[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
6 刘晓川;侯整风;;封闭ElGamal类签名中阈下信道的改进方案[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
7 韩益亮;杨晓元;武光明;孙军;;椭圆曲线单向消息恢复签名[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
8 邹祥福;;Mathematica在现代密码学课程实验中的应用[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
9 付绍静;姜新文;;密码学课程的教学研究[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
中国博士学位论文全文数据库 前10条
1 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
2 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年
3 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
4 张俊伟;密码协议的可组合安全[D];西安电子科技大学;2010年
5 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
6 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
7 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
8 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
9 田有亮;分布式密码协议及公平性研究[D];西安电子科技大学;2012年
10 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
中国硕士学位论文全文数据库 前10条
1 龙军;关于密码协议形式化验证方法的研究[D];国防科学技术大学;2003年
2 荣昆;认证逻辑系统的可靠性研究[D];解放军信息工程大学;2006年
3 张盛;量子密码协议的形式化分析方法研究[D];国防科学技术大学;2007年
4 张铁钢;三方密码协议的形式化分析研究[D];解放军信息工程大学;2006年
5 祝翔;蓝牙安全协议的设计与实现[D];中国人民解放军信息工程大学;2005年
6 赵玉娟;无线局域网安全机制研究[D];郑州大学;2006年
7 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年
8 杜珺;无线Mesh网络中节点认证机制的研究[D];北京交通大学;2012年
9 董卫;基于Petri网的密码协议分析[D];山东科技大学;2005年
10 王刚;椭圆曲线密码引擎的设计与实现[D];苏州大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026