收藏本站
《计算机科学》 2009年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一个双向认证协议的分析与改进

廖振岚  吴开贵  谢琪  代廷合  
【摘要】:运用安全协议形式化分析方法中的串空间模型理论,对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析,发现该协议在认证方面存在缺陷,并对该协议进行了改进,同时用串空间理论证明了改进后的协议的认证正确性。
【作者单位】重庆大学计算机学院;
【基金】:国家自然科学基金资助项目(30400446)资助
【分类号】:TP393.08

【相似文献】
中国期刊全文数据库 前10条
1 ;1988年全国密码学学术会议征文[J];通信学报;1988年01期
2 姚应仕;;Smart卡,计算机网络安全的重要器件[J];信息安全与通信保密;1990年02期
3 郭江;分布式系统的安全[J];计算机工程与设计;1993年06期
4 杨新,张建中,方关宝;保密通信网的互连互通技术研究[J];信息安全与通信保密;1993年02期
5 ;SUPER MASTER计算机安全控制器——顺德高迅电子有限公司新产品介绍[J];电脑;1994年12期
6 和鸣;Internet保密性能得到增强[J];今日电子;1995年01期
7 刘越,高洪奎;分布式系统安全[J];计算机工程与科学;1995年03期
8 张泳天,戴英侠,荆继武;网络安全技术在OSI模型中的应用[J];中国金融电脑;1996年12期
9 金传升;个人通信中的保密与鉴别技术[J];信息安全与通信保密;1996年01期
10 林晓东,杨菲;网络安全协议——安全套接字层分析[J];信息安全与通信保密;1996年04期
中国重要会议论文全文数据库 前10条
1 葛兵;;移动商务的基础——移动安全系统(WPKI)[A];中国国际移动数据与因特网技术高级研讨会论文集[C];2000年
2 单懿;;安全IP路由模型的设计[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];2002年
3 张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
4 薛峰;张佑生;王敏;;Tomcat4中单向SSL认证的原理及配置[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
5 尹家生;周健;洪燕;;校园网认证授权计费系统的设计[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
6 曹娟;;电子商务的安全体系结构及安全技术研究[A];中国烟草行业信息化研讨会论文集[C];2004年
7 齐琳;;移动IPv6概述及IPv6的安全体系结构[A];中国航海学会通信导航专业委员会2004学术年会论文集[C];2004年
8 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
9 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
10 厚立群;毛玉明;;无线局域网用户安全接入解决方案对比分析[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
中国重要报纸全文数据库 前10条
1 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
2 于卫;创造WAP上的ISP[N];计算机世界;2000年
3 启然;网络认证协议Kerberos浅析[N];网络世界;2000年
4 李俊荣 陈建设 张勇;承包商和供应商管理[N];中国石化报;2001年
5 施明全 周保太;信息安全基石:密码[N];解放军报;2001年
6 许云霞;格式合同中造成对方人身伤害的免责条款无效[N];江苏经济报;2001年
7 ;下一代光以太网[N];人民邮电;2001年
8 ;单一登录技术SSO[N];网络世界;2001年
9 本报记者 谌力;新宇:支撑起银行安全的核心[N];网络世界;2001年
10 奕文;安盟SecurID——信息网络的安全守护神[N];中国航空报;2002年
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 张福泰;可验证秘密分享及其应用研究[D];西安电子科技大学;2001年
3 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
4 童华章;安全协议的研究与设计[D];浙江大学;2002年
5 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
6 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
7 尹勇;物理隔离理论与系统的研究及其在网络化制造中的实践[D];华中科技大学;2004年
8 侯小梅;电子商务安全与混沌加密的研究[D];华南理工大学;2001年
9 倪晓强;通用并行向量密码处理器研究[D];国防科学技术大学;2005年
10 刘清堂;标准化教育资源版权保护机制研究[D];华中科技大学;2005年
中国硕士学位论文全文数据库 前10条
1 廖永红;基于IPSecurity的透明网络安全技术的研究和实现[D];暨南大学;2001年
2 罗卿;基于FAPKC算法的电子税务的设计与实现[D];中国科学院软件研究所;2001年
3 唐国岚;基于PKI的CA安全认证服务器的研究与实现[D];电子科技大学;2001年
4 曹卫兵;基于IPSec安全协议的网卡安全技术研究[D];西北工业大学;2001年
5 王刚;基于IPSec协议的虚拟专用网(VPN)及其实现技术研究[D];西北工业大学;2001年
6 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
7 石克莹;电子商务B2B模式的研究与应用[D];甘肃工业大学;2001年
8 刘婷婷;网络化协同工作系统安全体系结构及信息传输安全[D];南京理工大学;2002年
9 甘泉;基于电子商务平台的安全研究及防火墙系统的设计[D];汕头大学;2002年
10 王顺满;数据传输安全协议分析改进及测试[D];燕山大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026