收藏本站
《云南民族大学学报(自然科学版)》 2008年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

BAN逻辑与串空间的比较

缪祥华  张云生  仇细平  杨晓婕  
【摘要】:研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.

【引证文献】
中国硕士学位论文全文数据库 前1条
1 姜广通;基于RFID移动商务认证协议的研究与实现[D];大连理工大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 刘冰;金永生;;移动商务驱动因素的研究方法述评[J];北京邮电大学学报(社会科学版);2008年05期
2 李作为,杨义先,郭代飞,胡正名;安全身份认证技术在空中下载系统中的应用[J];计算机安全;2003年07期
3 訾国伟;张延强;李强;;使用生物特征和智能卡的身份认证系统[J];计算机安全;2007年02期
4 周国良;双因素身份认证技术研究[J];电子科技;2003年22期
5 李中献,詹榜华,杨义先;认证理论与技术的发展[J];电子学报;1999年01期
6 张亮,张加亮;动态身份认证方案及应用[J];重庆大学学报(自然科学版);2004年07期
7 杨建伟;杨燕翔;;基于S3C2410处理器的Linux移植[J];信息技术;2007年08期
8 李娜;;日本、韩国移动支付模式的启示[J];黑龙江科技信息;2008年24期
9 张大伟,张其善;Type B非接触智能卡防冲突模型的设计与实现[J];计算机工程与应用;2003年26期
10 周福才,曹光辉,黄宇,张冠宇;GSM网络环境上椭圆曲线密码系统身份认证协议的研究[J];控制与决策;2004年04期
【相似文献】
中国期刊全文数据库 前10条
1 卜奎昊;;安全协议形式化分析方法的融合性研究[J];西北师范大学学报(自然科学版);2010年05期
2 贾国梁 ,杨树堂 ,诸鸿文 ,李谢华;BAN逻辑与串空间相结合的安全协议分析方法[J];信息安全与通信保密;2005年03期
3 龙士工;;基于带标记串空间模型的安全协议分析[J];微计算机信息;2010年06期
4 李谢华;李建华;杨树堂;诸鸿文;;认证测试方法在安全协议分析中的应用[J];计算机工程;2006年02期
5 陈建熊;孙乐昌;揭摄;;一种安全协议分析算法研究[J];微计算机信息;2009年12期
6 田建波,王育民;认证协议的形式分析——BAN逻辑[J];信息安全与通信保密;1998年04期
7 解建军,李俊红;密钥分发协议及其形式化分析[J];河北师范大学学报(自然科学版);2003年06期
8 张爱新,杨明福,李生红,李建华;一种认证安全性的分析与设计逻辑[J];上海交通大学学报;2004年S1期
9 白跃彬,郑守淇,刘轶,朱利;一种认证方案的形式分析[J];西安交通大学学报;2001年04期
10 张玉清,李继红,肖国镇;密码协议分析工具——BAN逻辑及其缺陷[J];西安电子科技大学学报;1999年03期
中国重要会议论文全文数据库 前9条
1 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
2 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
3 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
4 缪祥华;;Needham-Schroeder共享密钥协议的改进[A];2009全国计算机网络与通信学术会议论文集[C];2009年
5 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
6 党继胜;汪学明;;制约逻辑与BAN逻辑结合的研究[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
7 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
8 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
中国重要报纸全文数据库 前1条
1 张旭;怀进鹏:守护国家系统安全[N];中国工业报;2010年
中国博士学位论文全文数据库 前10条
1 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
2 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
3 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
4 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
5 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
6 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
7 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
8 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
9 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
10 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 孙守卿;基于模型检测工具SPIN的安全协议分析和验证[D];兰州大学;2006年
3 王峰;基于串空间理论的安全协议分析[D];郑州大学;2007年
4 赵钦;安全协议分析[D];合肥工业大学;2008年
5 滕玲莹;串空间方法分析安全协议[D];电子科技大学;2006年
6 胡游君;RFID安全协议形式化分析研究及DRAP协议的建立与实现[D];燕山大学;2007年
7 李忠慧;可视化与形式化相结合的安全协议分析与验证[D];重庆师范大学;2010年
8 廖振岚;基于串空间模型的协议分析方法研究[D];重庆大学;2008年
9 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
10 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026