收藏本站
《上海交通大学学报》 2004年S1期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于Strand Space模型的CCITT X.509协议分析

蒋睿  李建华  潘理  
【摘要】:运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用StrandSpace模型论证了改进协议的保密性和认证正确性.

【引证文献】
中国期刊全文数据库 前1条
1 刘家芬;周明天;;认证测试方法对X.509认证协议的分析[J];计算机工程与应用;2006年08期
【同被引文献】
中国期刊全文数据库 前9条
1 胡爱群;无线通信网络的安全问题及对策[J];电信科学;2003年12期
2 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
3 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
4 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
5 卿斯汉;认证协议两种形式化分析方法的比较[J];软件学报;2003年12期
6 沈海峰,薛锐,黄河燕,陈肇雄;串空间理论扩展[J];软件学报;2005年10期
7 杨明;罗军舟;;基于认证测试的安全协议分析[J];软件学报;2006年01期
8 范红,冯登国;安全协议形式化分析的研究现状及有关问题[J];网络安全技术与应用;2001年08期
9 吴光伟;董荣胜;;基于串空间的Athena分析技术研究[J];计算机科学;2006年08期
中国博士学位论文全文数据库 前4条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
3 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
4 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
【二级引证文献】
中国硕士学位论文全文数据库 前1条
1 陈力琼;串空间模型的拓展和应用[D];上海交通大学;2008年
【相似文献】
中国重要会议论文全文数据库 前3条
1 吴宏涛;刘翼光;黄昭婷;;中档商业影院安全体系研究[A];2011中国电影电视技术学会影视技术文集[C];2011年
2 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
3 谢鸿波;周明天;;基于属性提取的LDAP改进的研究与实现[A];’2004计算机应用技术交流会议论文集[C];2004年
中国重要报纸全文数据库 前2条
1 ;电子签名的幕后英雄[N];网络世界;2004年
2 ;InfiniBand,何以如此诱人?[N];计算机世界;2002年
中国硕士学位论文全文数据库 前10条
1 冯瑜瑾;基于PKI/PMI认证授权构件的研究[D];昆明理工大学;2004年
2 庄继晖;基于PKI的认证中心CA的研究[D];天津大学;2005年
3 周乙;网络认证系统研究与应用[D];武汉大学;2004年
4 杨成;WPKI技术的研究[D];吉林大学;2004年
5 杜海;X.509证书和RBAC在Web中的应用[D];电子科技大学;2005年
6 林乐文;CA认证系统设计与实现[D];山东大学;2007年
7 杨骏;银证数据交换平台安全系统的设计与实现[D];山东大学;2008年
8 陈浩生;企业网络安全系统的设计与实现[D];合肥工业大学;2006年
9 吴海峰;PKI技术在航天靶场的应用[D];重庆大学;2008年
10 刘斌华;第三方网络存储服务的安全性研究[D];南昌大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026