收藏本站
《全国网络与信息安全技术研讨会’2004论文集》2004年
收藏 | 手机打开
二维码
手机客户端打开本文

基于串空间模型的安全协议形式化分析方法研究

解云峰  李之棠  石曙东  
【摘要】:用于安全协议形式化分析的串空间(strand space)模型,是一种结合定理证明和协议迹的混合方法,可以有效地描述和证明安全协议的正确性。本文对串空间模型近年来在扩展性、与其它形式化方法的关系、安全协议自动检验技术以及串空间模型的应用等几个研究层面作了全面介绍。

【相似文献】
中国期刊全文数据库 前10条
1 丁萌伟;周清雷;赵东明;;串空间和认证测试在协议分析中的应用[J];微计算机信息;2008年30期
2 王玉磊;邓淼磊;钱兴中;周跃华;郭宏刚;;口令猜测攻击的串空间模型分析[J];河北师范大学学报(自然科学版);2009年02期
3 毋晓英;周清雷;;一种安全协议自动化分析方法[J];计算机应用研究;2010年06期
4 廖振岚;吴开贵;谢琪;代廷合;;一个双向认证协议的分析与改进[J];计算机科学;2009年02期
5 周清雷;赵琳;赵东明;;基于串空间模型的Andrew RPC协议的分析与验证[J];计算机工程与应用;2007年13期
6 陈建熊;孙乐昌;;认证测试对分析重放攻击的缺陷[J];计算机应用研究;2009年02期
7 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
8 龙士工;;理想在猜测攻击分析中的扩展应用[J];贵州大学学报(自然科学版);2006年03期
9 谭新莲;李磊;;安全电子商务协议的形式化分析[J];数学爱好者(教育学术);2008年02期
10 卓继亮,李先贤,李建欣,怀进鹏;安全协议的攻击分类及其安全性评估[J];计算机研究与发展;2005年07期
中国重要会议论文全文数据库 前10条
1 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
4 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
7 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
9 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
10 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
中国重要报纸全文数据库 前10条
1 ;802.1AE保护局域网安全[N];网络世界;2005年
2 郭莹;CTBS实现安全高速远程接入[N];中国计算机报;2007年
3 朱建军;客户端VPN安全十法则[N];计算机世界;2006年
4 ;天融信打造坚实的VPN方案[N];网络世界;2003年
5 于卫;创造WAP上的ISP[N];计算机世界;2000年
6 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
7 ;安全与隐私兼得[N];网络世界;2002年
8 本报记者 谌力;事务处理系统走向SOA[N];网络世界;2005年
9 张彤;以其人之道还治其人之身[N];网络世界;2007年
10 ;防火墙及其他[N];中国高新技术产业导报;2000年
中国博士学位论文全文数据库 前10条
1 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
4 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
5 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
6 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
7 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
8 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
9 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
10 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
中国硕士学位论文全文数据库 前10条
1 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
2 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
3 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
4 陈强;安全协议的形式化分析研究[D];清华大学;2005年
5 李轶谞;基于串空间的安全协议形式化分析建模和研究[D];南京邮电大学;2012年
6 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
7 张孝红;基于形式化方法的安全协议自动化验证算法的研究[D];湖南大学;2010年
8 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
9 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
10 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026