收藏本站
《软件学报》 2005年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

串空间理论扩展

沈海峰  薛锐  黄河燕  陈肇雄  
【摘要】:现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashingformessageauthenticationcode)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2.

【引证文献】
中国期刊全文数据库 前2条
1 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
2 龙士工;;理想在猜测攻击分析中的扩展应用[J];贵州大学学报(自然科学版);2006年03期
中国博士学位论文全文数据库 前2条
1 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
2 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
中国硕士学位论文全文数据库 前1条
1 张岚;基于广义串空间模型的密码协议设计与分析的研究[D];解放军信息工程大学;2006年
【共引文献】
中国期刊全文数据库 前6条
1 曹 悦,王志军;剩余类环上矩阵的等价标准形[J];安阳大学学报;2004年04期
2 赵亚群,李世取;广义部分Bent函数及其自相关函数特征和谱特征[J];工程数学学报;1999年04期
3 杨胜良;Lagrange插值公式的几种构造性证明[J];大学数学;2004年03期
4 王树忠,李和伟;直和群的子群结构的研究[J];哈尔滨商业大学学报(自然科学版);2005年01期
5 陈松良;有限素域上某些三项多项式[J];锦州师范学院学报(自然科学版);2002年01期
6 黄本文,廖向军,吕云翔,王秀花;计算对称群S_7的所有子群[J];武汉大学学报(理学版);2005年01期
中国硕士学位论文全文数据库 前8条
1 齐威;组合问题的通用搜索算法研究与实现[D];山东科技大学;2003年
2 张艳;优化问题的通用搜索算法研究与实现[D];山东科技大学;2003年
3 丰静;四元数多项式方程解的结构及其因式分解[D];华东师范大学;2004年
4 胡学瑞;有限群幂零性的研究[D];成都理工大学;2007年
5 吴锡梅;虚二次数域类群的8-秩[D];南京航空航天大学;2006年
6 张玲瑞;某些实二次域狭义类群的8-秩[D];南京航空航天大学;2006年
7 姜红艳;利用有限域上正交几何构造带仲裁的认证码[D];大连理工大学;2008年
8 杨晓琳;循环码理论及其译码算法研究—设计距离为11的二元BCH码构造及其B-M迭代译码算法实现[D];成都理工大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
2 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期
3 姬东耀,王育民;基于PayWord的小额电子支付协议[J];电子学报;2002年02期
4 张仕斌;何大可;遠藤誉;;模糊自主信任建立策略的研究[J];电子与信息学报;2006年08期
5 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
6 唐文,胡建斌,陈钟;基于模糊逻辑的主观信任管理模型研究[J];计算机研究与发展;2005年10期
7 王涛,郭荷清,姚松涛;串空间方法分析协议公平性的研究[J];计算机工程与应用;2004年35期
8 李莉;张焕国;王张宜;;一种安全协议的形式化设计方法[J];计算机工程与应用;2006年11期
9 董荣胜;郭云川;古天龙;;一种电子商务协议原子性的模型检验分析方法[J];计算机科学;2005年04期
10 吴光伟;董荣胜;;基于串空间的Athena分析技术研究[J];计算机科学;2006年08期
中国博士学位论文全文数据库 前6条
1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
2 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
3 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
4 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
5 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
6 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前4条
1 莫燕;网络安全协议模型检测技术研究与应用[D];西安电子科技大学;2005年
2 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
3 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
4 陈力琼;串空间模型的拓展和应用[D];上海交通大学;2008年
【二级引证文献】
中国博士学位论文全文数据库 前1条
1 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前1条
1 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 胡千;景凤宣;谢晓尧;;基于CA的移动终端安全支付系统的研究与设计[J];贵州师范大学学报(自然科学版);2011年03期
2 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
3 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期
4 董学文;马建峰;牛文生;毛立强;谢辉;;基于串空间的Ad Hoc安全路由协议攻击分析模型[J];软件学报;2011年07期
5 苏桂平;孙莎;;基于CPN模型的不可否认协议分析[J];信息安全与通信保密;2011年08期
6 刘君昌;张曦煌;;KNXnet/IP协议安全性分析与改进[J];计算机应用;2011年07期
7 张磊;王辉;;无线局域网安全协议研究[J];通信技术;2011年09期
8 郑晓丽;姜迪刚;;基于无证书公钥的移动IP注册协议认证[J];通信技术;2011年08期
9 王竹;戴一奇;叶顶锋;;普适安全的基于身份的签名机制[J];电子学报;2011年07期
10 樊玫玫;冯蕾;彭长根;;一种无证书的公平交换协议[J];贵州大学学报(自然科学版);2011年03期
中国重要会议论文全文数据库 前10条
1 邹洲;胡向东;;无线传感器网络的安全问题及研究现状[A];2007年中国智能自动化会议论文集[C];2007年
2 李华敏;张志本;袁鑫昌;;SIP协议在IMS系统中应用的研究[A];中国通信学会第五届学术年会论文集[C];2008年
3 王悦;温巧燕;;H.323协议的安全性解决方案[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
4 郭亚利;;一种降低无线传感网络中能耗问题的ANT技术的研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
5 兰岚;李少谦;;互联网移动通信网络协议的探讨[A];四川省通信学会2000年学术年会论文集[C];2000年
6 生家锋;陈丹;;无线局域网WEP协议的分析和改进研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
7 齐琳;;移动IPv6概述及IPv6的安全体系结构[A];中国航海学会通信导航专业委员会2004学术年会论文集[C];2004年
8 邱慧敏;杨义先;;安全的无线传感器网络:问题和对策[A];全国网络与信息安全技术研讨会'2005论文集(下册)[C];2005年
9 黄碧香;倪桂强;马婧;;卫星网络安全探讨[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
10 钱伟中;傅翀;秦志光;陈剑勇;;移动通信安全等级协商技术研究[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 ;WEP形同虚设 三秒破解密钥[N];网络世界;2007年
2 北京邮电大学网络安全与密码学国家重点实验室 林蔚;IPSec VPN尚是主流[N];通信产业报;2007年
3 闫冰;WLAN选择最佳EAP[N];网络世界;2006年
4 李博;LSI APP3300提高实时服务交付水平[N];通信产业报;2007年
5 徐秀;GSI破解网格安全迷局[N];中国计算机报;2006年
6 戈;昂科AK2400-G100一机两用[N];电脑商报;2004年
7 ;WLAN测试的实质[N];计算机世界;2003年
8 冯文;WLAN国标出台的背后[N];计算机世界;2003年
9 安徽 高飞;网络沟通的桥梁[N];中国电脑教育报;2004年
10 陈思;同时支持AP和无线桥接[N];中国计算机报;2004年
中国博士学位论文全文数据库 前10条
1 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
2 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
3 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
4 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年
6 李艳平;若干安全协议的研究与设计[D];西安电子科技大学;2009年
7 黄展;宽带卫星网络安全协议研究[D];哈尔滨工业大学;2009年
8 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
9 贾忠田;容迟网安全协议研究[D];北京邮电大学;2012年
10 李平;传感器网络中对偶密钥建立算法研究[D];湖南大学;2007年
中国硕士学位论文全文数据库 前10条
1 郭伟;基于OPNET的Mesh安全协议仿真平台研究[D];西安电子科技大学;2010年
2 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
3 张亚男;移动自组网路由安全协议的研究[D];中南大学;2004年
4 袁鑫;因特网密钥交换协议安全性分析[D];西南交通大学;2003年
5 叶院红;IEEE802.1ae安全协议引擎的设计研究[D];浙江大学;2006年
6 蔡剑峰;无线局域网的漏洞及攻击方法研究[D];华中科技大学;2007年
7 王琳;协议安全性理论若干问题研究[D];解放军信息工程大学;2006年
8 高保胜;基于对称密码体制的移动支付安全协议研究[D];西南交通大学;2012年
9 戴雷;基于Blom矩阵方法的物联网感知层安全协议研究[D];复旦大学;2011年
10 朱振芳;WLAN安全协议与仿真方法研究[D];西安电子科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026