收藏本站
《计算机技术与发展》 2008年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

董军  杨秀娟  赵艳芹  
【摘要】:从串空间模型理论入手,提出了三种典型的串空间形式化方法(基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法),并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。

【相似文献】
中国期刊全文数据库 前10条
1 张慧;赵有健;;安全协议中防御拒绝服务攻击的请求成功率保证算法[J];小型微型计算机系统;2011年06期
2 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
3 赵书峰;黄刘生;;计算两相交圆精确面积的安全协议[J];微电子学与计算机;2011年07期
4 梁静宇;郭建明;;SSL VPN和IPSec VPN企业应用分析[J];科学之友;2011年11期
5 陈晓红;;EAP软件认证性能分析[J];煤炭技术;2011年08期
6 田小梅;胡灿;;基于IPv6的IPsec VPN技术与应用[J];电脑开发与应用;2011年08期
7 李仲阳;刘金平;李婷婷;;基于密钥的RFID双向认证安全协议[J];计算机安全;2011年07期
8 凌征强;;构建高校图书馆远程访问系统(一)[J];中国教育网络;2011年07期
9 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
10 张亚航;庞波;程博文;;一种改进的适用于空间网络的密钥交互协议[J];航天器工程;2011年04期
中国重要会议论文全文数据库 前10条
1 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
3 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
4 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
5 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
8 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
9 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
10 周东清;李燕;苏庆福;;一种基于层次型拓扑结构的无线传感器网络安全协议的设计[A];第二十一次全国计算机安全学术交流会论文集[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 ;安全与隐私兼得[N];网络世界;2002年
7 本报记者 谌力;事务处理系统走向SOA[N];网络世界;2005年
8 张彤;以其人之道还治其人之身[N];网络世界;2007年
9 ;防火墙及其他[N];中国高新技术产业导报;2000年
10 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
2 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
3 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
4 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
5 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
6 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
7 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
8 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
9 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
10 曹春杰;可证明安全的认证及密钥交换协议设计与分析[D];西安电子科技大学;2008年
中国硕士学位论文全文数据库 前10条
1 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
2 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
3 李轶谞;基于串空间的安全协议形式化分析建模和研究[D];南京邮电大学;2012年
4 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
5 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
6 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
7 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
8 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
9 张孝红;基于形式化方法的安全协议自动化验证算法的研究[D];湖南大学;2010年
10 陈强;安全协议的形式化分析研究[D];清华大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026