收藏本站
《西安电子科技大学学报》 1997年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

个人通信系统中的移动用户登记认证协议

刘建伟  王育民  
【摘要】:基于个人通信系统的公钥P&A模型,设计了用户位置登记认证协议,并采用BAN认证逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析.分析表明,所提出的协议与现有的协议相比具有许多新的安全特性.
【作者单位】西安电子科技大学通信工程学院
【基金】:国家自然科学基金,军事电子预研基金
【分类号】:TN911.2

【引证文献】
中国期刊全文数据库 前2条
1 秦建丰;郝黎明;薛质;;WAPI安全接入过程的形式化验证[J];信息技术;2006年01期
2 李谢华;李建华;杨树堂;诸鸿文;;WAPI接入鉴别过程的形式化分析与验证[J];计算机工程;2006年22期
中国博士学位论文全文数据库 前2条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前2条
1 张喜青;基于指纹特征的用户身份认证技术研究与开发[D];电子科技大学;2002年
2 屈军;基于GPRS的数据传输系统的研究[D];天津大学;2003年
【同被引文献】
中国期刊全文数据库 前10条
1 秦志光,刘锦德;客户与服务器之间的安全交互作用[J];电子科技大学学报;1996年01期
2 孙海波,林东岱,黄寄洪;串空间理论在网络安全协议形式化分析中应用[J];大连理工大学学报;2003年S1期
3 胡爱群;无线通信网络的安全问题及对策[J];电信科学;2003年12期
4 孙宏,杨义先;无线局域网协议802.11安全性分析[J];电子学报;2003年07期
5 李中献,詹榜华,杨义先;认证理论与技术的发展[J];电子学报;1999年01期
6 赵雪岩,董雨果,郑连清;一种适合全球移动网络的认证协议[J];纺织高校基础科学学报;2000年04期
7 黄席樾,马笑潇,汪鹏,沈志熙,周欣;基于方向基元集描述的指纹方向图求取算法[J];重庆大学学报(自然科学版);2000年05期
8 郑卓远,周娅;一种描述协议的新模型:线索空间模型[J];桂林电子工业学院学报;2003年01期
9 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
10 刘道斌,郭莉,白硕;一种新的安全协议验证方法[J];计算机研究与发展;2003年10期
中国博士学位论文全文数据库 前3条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 付才;移动自组网路由安全研究[D];华中科技大学;2007年
3 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
中国硕士学位论文全文数据库 前2条
1 杜吉荣;GPRS环境下TCP协议的性能分析与改进[D];浙江大学;2002年
2 王顺满;数据传输安全协议分析改进及测试[D];燕山大学;2002年
【二级引证文献】
中国期刊全文数据库 前7条
1 马莉;周佳庆;;WAPI协议分析及移动终端设计[J];电脑与电信;2008年10期
2 陈颖;陈淑春;吴小玉;;浅谈WAPI及其认证技术[J];河北软件职业技术学院学报;2009年03期
3 吴柳飞;张玉清;王凤娇;;一种新的WAPI认证和密钥交换协议[J];计算机工程;2008年08期
4 刘思敏;;WAPI认证协议的研究及改进[J];软件导刊;2010年02期
5 武梦龙;刘文楷;王莉;安艳伟;;基于Windows CE的嵌入式车载应用系统设计[J];太原理工大学学报;2009年05期
6 李涛;曾英;甄姬娜;;一种新的基于动态口令的远程双向认证[J];微计算机信息;2007年33期
7 吴远启;;WAPI下WLAN与3G网络安全融合探究[J];信息与电脑(理论版);2011年11期
中国重要会议论文全文数据库 前1条
1 刘贵松;雷高军;付晓;李毅;;无线通信技术在电力系统中的应用研究[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
中国博士学位论文全文数据库 前4条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
4 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 齐建华;基于生物模式识别技术的WEB考勤管理系统研究[D];中国海洋大学;2010年
2 于永胜;卫星网络管理中接入及访问控制机制研究[D];沈阳理工大学;2010年
3 徐巧亮;CDMA无线宽带在电力远程测控系统中的应用研究[D];浙江大学;2006年
4 宋柏彬;基于嵌入式的GPRS无线通信系统研究[D];武汉理工大学;2006年
5 张金颖;动态口令身份认证方案的研究与实现[D];西南交通大学;2006年
6 王猛;基于指纹特征作为数字水印的身份认证系统研究[D];山东师范大学;2006年
7 刘凯;移动定位终端的模块化设计及传输模块接口的实现[D];天津大学;2006年
8 孟祥博;基于数字水印与掌纹相结合的网络身份认证方法研究[D];东北师范大学;2007年
9 向元平;基于人脸识别的双因素的身份认证系统的设计与实现[D];中南大学;2007年
10 金福宝;基于GPRS的桥梁远程监测系统的研究[D];东北林业大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 宋晖;;基于Hash函数的随机RFID双向认证协议研究[J];现代计算机;2011年06期
2 淡艳;;在Tomcat中部署Yale-CAS实现单点登录[J];成都大学学报(自然科学版);2011年02期
3 刘广聪;韦东丽;邬欢欢;;基于MYK-NTRUSign签名的无线网认证协议研究[J];计算机工程与应用;2011年21期
4 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期
5 王耀民;周木良;;一种用于可移动设备的口令认证协议[J];现代计算机(专业版);2011年14期
6 李仲阳;刘金平;李婷婷;;基于密钥的RFID双向认证安全协议[J];计算机安全;2011年07期
7 赵梦龙;唐郑熠;龙士工;;认证协议中可信第三方签名的新鲜性漏洞[J];计算机与数字工程;2011年07期
8 彭新光;丁鹏飞;;基于ELGamal签名的直接匿名认证协议[J];保密科学技术;2011年05期
9 刘广聪;韦东丽;张桦;;WSN中的无证书认证和密钥协商协议[J];计算机工程;2011年18期
10 闫闪闪;;一种增强的低成本RFID安全协议研究与实现[J];科技信息;2011年20期
中国重要会议论文全文数据库 前10条
1 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
3 余斌霄;王新梅;;轻量级的无线网络认证协议[A];第九届全国青年通信学术会议论文集[C];2004年
4 卿斯汉;;关于“报文重发”型攻击的注记[A];第十一届全国计算机安全技术交流会论文集[C];1996年
5 石春晖;赵战生;;认证协议安全分析[A];第十三届全国计算机安全技术交流会论文集[C];1998年
6 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
7 赵婷;王健;;基于Hash函数的RFID动态认证协议[A];2010年全国通信安全学术会议论文集[C];2010年
8 刘志猛;赵燕丽;;数字签名在一类认证和密钥协商协议中的应用和安全分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
9 阎乃惠;;21世纪——全球无线电个人通信大发展的时代[A];1991年全国微波会议论文集(卷Ⅱ)[C];1991年
10 李莉;张顺颐;;对IEEE802.16标准安全体系扩展的探讨[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
中国重要报纸全文数据库 前10条
1 记者 常素莉 通讯员 吴兆军 林峪斌;邯钢与长城汽车签订汽车板认证协议[N];河北经济日报;2009年
2 陈代寿;业界再掀RADIUS热[N];中国计算机报;2006年
3 ;NGN网络的认证需求[N];人民邮电;2006年
4 ;Wi-Fi新认证简化安全设置[N];网络世界;2007年
5 刘德环;CCIC河北公司“五大举措”迎改革[N];中国国门时报;2007年
6 沈小雨;该用市场换什么车?[N];财经时报;2007年
7 记者 方尚俊;邯钢“牵手”长城汽车签订汽车板材试制认证协议[N];河北经济日报;2009年
8 本报记者  刘勇  缪传真;掀起江淮认证潮[N];中国国门时报;2006年
9 朱红儒;UMB安全研究[N];人民邮电;2008年
10 北京 马子健;HDMI 1.3将流行,传输速率达10.2Gbps[N];电子报;2007年
中国博士学位论文全文数据库 前10条
1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
2 赵鑫;面向应用的无线传感器网络广播认证协议研究[D];国防科学技术大学;2010年
3 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
4 马亚娜;WEB环境下的认证技术研究[D];南京理工大学;2003年
5 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
6 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
7 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
8 张立江;认证和密钥交换协议的分析与设计[D];山东大学;2009年
9 何伟;基于改进Kerberos认证协议的远程访问VPN密码系统研究[D];浙江大学;2003年
10 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
中国硕士学位论文全文数据库 前10条
1 李维科;椭圆曲线密码体制及其在第三代移动通信中的应用研究[D];重庆邮电大学;2006年
2 张怡华;信息安全系统中用户身份认证技术的研究[D];四川大学;2006年
3 穆灵;无线传感器网络安全认证方案及认证协议的研究与设计[D];解放军信息工程大学;2009年
4 何加亮;形式化逻辑方法在分析认证协议以及电子商务协议中的应用[D];吉林大学;2004年
5 何玮华;无线局域网认证协议的分析与应用[D];四川大学;2005年
6 闫研;安全组播成员认证协议的设计和密钥管理方案的研究[D];哈尔滨工业大学;2009年
7 李嘉华;一种基于混合加密的OSGi认证协议研究[D];大连理工大学;2008年
8 谷芳芳;无线局域网非对称认证方案研究与实现[D];合肥工业大学;2009年
9 党岚君;智能卡安全技术的探索与改进[D];西安电子科技大学;2005年
10 游红;移动IPv6绑定更新认证协议设计及分析[D];重庆大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026