收藏本站
《计算机研究与发展》 2006年12期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

安全协议的串空间图表示

王焕宝  张佑生  李援  
【摘要】:串空间是安全协议的一种形式化描述,串空间图是它的图示化表示·定义开丛为串空间图的构造单元,并在开丛集上定义前缀算子和组合算子·通过开丛之间的前缀和组合运算,给出了无穷并发运行安全协议串空间图的生成方法·定义了开丛互模拟以及串空间图之间的互模拟等价关系,并给出用于消除串空间图冗余结构的化简规则·案例分析和与相关工作的比较表明,无冗余的串空间图为无穷并发运行安全协议的安全属性验证提供了一个有效的分析模型·

【引证文献】
中国博士学位论文全文数据库 前1条
1 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 王焕宝;张佑生;;一种基于串空间的不变集生成算法[J];哈尔滨工业大学学报;2006年03期
2 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
3 苏开乐,吕关锋,陈清亮;基于知识结构的认证协议验证[J];中国科学E辑;2005年04期
4 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
5 杨世平;李祥;;BAN逻辑在协议分析中的密钥猜测分析缺陷[J];计算机工程;2006年09期
6 曹木亮,吴智铭;π-网的强互模拟等价[J];计算机学报;2005年01期
7 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
8 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
9 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期
10 沈海峰,薛锐,黄河燕,陈肇雄;串空间理论扩展[J];软件学报;2005年10期
中国博士学位论文全文数据库 前1条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 王娜,王亚弟;安全协议的形式化说明、设计及验证[J];计算机应用;2003年10期
2 崔捷,郑连清,顾志银;安全协议SSL与SET的分析与比较[J];现代电子技术;2004年09期
3 陈灿;李俊;;Kerberos协议的形式化分析[J];微电子学与计算机;2006年06期
4 徐梦茗;肖聪;唐六华;黄金涛;;安全协议和网络攻击分析[J];信息安全与通信保密;2007年02期
5 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
6 缪祥华;何大可;;安全协议的等价性问题[J];计算机工程;2007年19期
7 王新锋;刘建国;蒋旭;刘胜利;;移动型RFID安全协议及其GNY逻辑分析[J];计算机应用;2008年09期
8 林贵彬;王永华;詹宜巨;;一种基于随机序列的RFID安全协议[J];计算机工程;2008年20期
9 周婕;王拥军;;网络安全协议比较研究[J];舰船电子工程;2009年07期
10 张超;韩继红;王亚弟;朱玉娜;陈欣辉;;安全协议一阶逻辑模型中攻击重构的实现[J];计算机工程;2009年05期
中国重要会议论文全文数据库 前10条
1 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
3 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
4 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
6 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
7 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
8 周东清;李燕;苏庆福;;一种基于层次型拓扑结构的无线传感器网络安全协议的设计[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
9 张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
10 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[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 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
10 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
中国博士学位论文全文数据库 前10条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
4 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
5 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
6 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
7 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
10 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
2 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
3 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
4 陈强;安全协议的形式化分析研究[D];清华大学;2005年
5 郭克华;基于第三方计算的移动商务安全协议[D];福州大学;2005年
6 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
7 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
8 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
9 樊静淳;基于移动代理系统的安全旅行协议研究[D];山东大学;2005年
10 杭波;新一代Internet网络层安全协议的研究与实现[D];哈尔滨工程大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026