无线认证协议

作品数：16被引量：53H指数：4
导出分析报告
相关领域：电子电信更多>>
相关作者：刘霞马建峰朱建明古天龙朱辉更多>>
相关机构：西安电子科技大学江西师范大学桂林电子科技大学湖南大学更多>>
相关期刊：《郑州大学学报（理学版）》《计算机工程与应用》《武汉大学学报（理学版）》《通信学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
便携计算机防盗提示器设计及无线认证策略被引量：2
《信息安全研究》2016年第6期527-532,共6页刘振吉 周昱瑶 吴家菊 袁小兵 平超 秦英 
计算机应用研究所所长基金项目(SJ2016B01)
存储有涉密信息的便携计算机一旦遗失或被盗就会造成不可估量的损失.为提高便携计算机的防丢防盗技术水平,提出了一种基于双向无线通信的主从式防丢防盗报警方案.为防止计算机信息的电磁泄漏,在设计计算机机箱时将报警系统从机与计算机...
关键词：便携式计算机 方位信息 防盗 告警 无线认证协议 
基于PKI的通用无线认证协议研究被引量：4
《计算机科学》2012年第7期74-77,共4页谌双双 陈泽茂 王浩 
中国博士后特别基金资助项目(201003757)资助
基于PKI的WTLS协议涉及复杂的证书操作,需耗费较大的通信和计算开销,且缺乏对服务器证书的有效性检查。引入可信证书验证代理(TCVP)和证书有效性凭据(CVT)等概念,由TCVP为无线通信节点(WN)生成短时有效的CVT,WN通过交换CVT来完成证书的...
关键词：无线认证协议 公钥密码 PKI 身份认证 ECC 
基于身份加密的匿名漫游无线认证协议被引量：1
《计算机工程》2010年第17期176-178,181,共4页顾永军 齐敬敬 王雅坤 
针对移动漫游认证问题,采用基于身份加密技术和双线性对的相关特性,提出一种基于身份加密的匿名漫游无线认证协议,分析协议的安全性和匿名性,给出在非认证链路模型下安全的形式化证明。分析表明,该协议在保证用户身份不被泄漏的前提下,...
关键词：双线性映射 基于身份加密 匿名性 无线认证 
可信的匿名无线认证协议被引量：13
《通信学报》2009年第9期29-35,共7页杨力 马建峰 朱建明 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429);国家自然科学基金资助项目(60633020;60872041)~~
提出一种可信的匿名无线认证协议,对移动用户身份进行认证的同时验证用户终端平台可信性,认证过程的每阶段使用不同的临时身份和一次性密钥,保持用户身份和平台信息的匿名性,分析表明协议安全可靠,具有域分离特性和密钥协商公正性,计算...
关键词：可信计算 无线认证协议 远程证明 
一种具有可控匿名性的无线认证协议被引量：1
《计算机工程》2009年第6期139-141,共3页徐红云 谢诚 刘京 
湖南省科技计划基金资助项目(20063342467);湖南大学博士基金资助项目(521105255)
针对无线匿名认证协议中因家乡域身份信息暴露而导致协议匿名性降低及匿名服务滥用的问题,提出一种基于无线网络环境下的可控匿名认证协议。通过使用历史访问域转发认证信息的方法实现家乡域的匿名,通过检查认证标记拒绝非法用户的认证...
关键词：无线通信 数据隐私 匿名协议 可控匿名 
EAP-AKA无线认证协议的形式化验证方法
《计算机工程与科学》2009年第4期72-74,78,共4页李谢华 张孝红 
EAP-AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上,使用改进的认证测试方法对其安全性进行验证分析。验证结果说明,EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证。
关键词：形式化模型 EAP-AKA 改进认证测试方法 双向身份认证 
对改进的无线认证协议SSM的分析
《计算机工程与应用》2009年第1期129-130,共2页郭宇燕 魏仕民 卓泽朋 
国家自然科学基金;安徽省自然科学基金~~
针对刘霞提出的改进的Server-specific MAKEP协议,首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析,并运用"理想"和"诚实"两个概念简化分析协议的步骤,证明了rs,rc是保密的,然后对协议的认证性进...
关键词：SSM协议 串空间 机密性 认证性 
一种基于身份的匿名无线认证协议被引量：1
《武汉大学学报（理学版）》2008年第5期579-582,共4页朱辉 李晖 王育民 刘双根 
国家高技术研究发展计划(863)项目(2007AA01Z435);国家自然科学基金(60473027,60772136);高等学校学科创新引智计划(111计划)项目(B08038)
针对移动用户漫游时需进行匿名认证问题,利用双线性对和椭圆曲线的相关特性,提出了一种基于身份的匿名无线认证协议.并对该协议的安全性和匿名性进行了详细分析,给出了移动用户匿名性在非认证链路模型下安全的形式化证明.分析表明,该协...
关键词：密码学 认证协议 匿名性 无线网络 
无线认证协议Linear MAKEP的模型检验
《计算机工程》2008年第3期186-188,212,共4页刘霞 陈维 彭军 
重庆市科委自然科学基金资助项目(CSTC;2005BB2050);重庆市教委科学技术研究基金资助项目(KJ051402)
模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协...
关键词：LINEAR MAKEP协议 模型检验 认证性 形式化 
无线认证协议的模型检验分析研究
《计算机工程与应用》2006年第21期118-120,共3页刘霞 古天龙 常亮 郭云川 
广西十百千人才专项基金项目;广西科学基金资助
模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对D.S.Wong等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析...
关键词：无线认证协议 安全性 模型检验 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部