收藏本站
《2005年全国理论计算机科学学术年会论文集》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

基于模型检测工具SPIN的安全协议形式化分析

孙守卿  李廉  章超  李彩虹  
【摘要】:正 1 引言安全协议是一种通信协议,它通过密码技术实现通信过程中的密钥分发以及身份认证,从而保证网络通信的安全。目前,存在多种验证安全协议的形式化方法和相应的工具。其中主要有定理证明和模型检测两种方法。定理证明是用逻辑符号模型化协议以及协议要满足的性质,然后运用证明技术(如重写、规约、归纳等)来验证这些性质协议是否满足。定理证明的最

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 肖美华;江耘;邓宸芳;马小薏;薛锦云;;网络安全认证协议形式化分析[J];计算机安全;2006年02期
2 范红,冯登国;一种混合的安全协议形式化分析技术[J];中国科学院研究生院学报;2002年03期
3 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
4 慕建君;;一种形式化分析安全协议的新模型[J];西安电子科技大学学报;2006年03期
5 刘庆华;周小燕;;安全协议的形式化分析方法[J];光盘技术;2008年03期
6 刘培,周明天;基于串空间的认证协议分析[J];实验科学与技术;2005年03期
7 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期
8 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期
9 朱宜炳;罗敏;;典型安全协议形式化分析工具比较[J];计算机与现代化;2008年05期
10 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
11 冯珺珺;李光耀;江耘;;基于迹语义的网络安全协议形式化分析[J];计算机与现代化;2007年02期
12 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
13 李肖坚;赵沁平;;一种面向组播的双向身份鉴别与授权协议[J];计算机研究与发展;2006年11期
14 李莉;张焕国;王张宜;;一种安全协议的形式化设计方法[J];计算机工程与应用;2006年11期
15 张超;韩继红;王亚弟;朱玉娜;;改进的安全协议一阶逻辑模型[J];计算机工程与应用;2008年26期
16 刘玉坤;赵伟艇;;NS公钥协议新的分析方法[J];电脑知识与技术;2010年12期
17 李廷元;秦志光;刘晓东;张选芳;;Needham-Schroeder协议的认证测试方法形式化分析[J];计算机工程与应用;2010年19期
18 毛晨晓;罗文坚;王煦法;;分析安全协议猜测攻击的模态逻辑方法[J];计算机学报;2007年06期
19 肖美华;刘俏威;朱宜炳;;安全协议UML模型的SPIN分析[J];南昌大学学报(工科版);2008年02期
20 王倩;王龙葛;;BAN类逻辑的两个缺陷分析[J];电脑知识与技术;2011年08期
中国重要会议论文全文数据库 前10条
1 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
3 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
4 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
5 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
6 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
10 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
中国重要报纸全文数据库 前10条
1 江苏 曾庆祝;电子邮件检测工具大放送[N];电脑报;2001年
2 四维工作室;电子邮件检测工具大集合[N];电脑报;2001年
3 ;802.1AE保护局域网安全[N];网络世界;2005年
4 ;灵活访问模型驱动的服务[N];网络世界;2007年
5 ;薄弱环节检测[N];中国计算机报;2000年
6 郭莹;CTBS实现安全高速远程接入[N];中国计算机报;2007年
7 朱建军;客户端VPN安全十法则[N];计算机世界;2006年
8 ;天融信打造坚实的VPN方案[N];网络世界;2003年
9 于卫;创造WAP上的ISP[N];计算机世界;2000年
10 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
2 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
4 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
5 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
6 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
7 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
8 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
9 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
3 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
4 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
5 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年
6 吕银华;安全协议中的互模拟等价性验证[D];贵州大学;2006年
7 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
8 高长喆;特殊环境下的协议安全研究[D];上海交通大学;2007年
9 朱文也;安全协议形式化分析关键问题研究[D];解放军信息工程大学;2009年
10 秦好磊;基于树自动推理的安全协议自动化检测[D];西安电子科技大学;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978