检索结果-内蒙古大学图书馆

通信学报 2009年第9期30卷 29-35页

作者：杨力马建峰朱建明西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中央财经大学信息学院北京100081

提出一种可信的匿名无线认证协议,对移动用户身份进行认证的同时验证用户终端平台可信性,认证过程的每阶段使用不同的临时身份和一次性密钥,保持用户身份和平台信息的匿名性,分析表明协议安全可靠,具有域分离特性和密钥协商公正性,计算... 详细信息

提出一种可信的匿名无线认证协议,对移动用户身份进行认证的同时验证用户终端平台可信性,认证过程的每阶段使用不同的临时身份和一次性密钥,保持用户身份和平台信息的匿名性,分析表明协议安全可靠,具有域分离特性和密钥协商公正性,计算代价和消息交互轮数满足无线移动网络环境需求。

关键词：可信计算无线认证协议远程证明

来源：评论

学校读者我要写书评

暂无评论

无线认证协议的模型检验分析研究

引用

计算机工程与应用 2006年第21期42卷 118-120页

作者：刘霞古天龙常亮郭云川桂林电子工业学院计算机系广西桂林541004

模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对***等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析,在分... 详细信息

模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对***等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析,在分析过程中充分考察了无线环境中移动装置和无线网络的特点,验证结果表明了该方法用于分析无线认证协议的有效性。

关键词：无线认证协议安全性模型检验

来源：评论

学校读者我要写书评

暂无评论

无线认证协议的模型检测与分析研究

无线认证协议的模型检测与分析研究

引用

作者：高丹丹长春理工大学

学位级别：硕士

由于移动设备和无线网络的特点,使无线认证协议的执行环境更为复杂,从而使其更容易存在安全缺陷,同时也为其形式化分析带来了新的挑战。本文研究的主要内容是采用模型检测技术SPIN对无线认证协议的认证性和保密性进行分析。文章首先介... 详细信息

由于移动设备和无线网络的特点,使无线认证协议的执行环境更为复杂,从而使其更容易存在安全缺陷,同时也为其形式化分析带来了新的挑战。本文研究的主要内容是采用模型检测技术SPIN对无线认证协议的认证性和保密性进行分析。文章首先介绍了密码协议的概念,无线网络的执行环境,无线认证协议的形式化分析,接着建立了无线认证协议的系统模型,阐述了模型检测技术的原理,详细研究了模型检测工具SPIN和使用的Promela语言,以及SPIN对无线认证协议分析的原理,构造了系统验证模型;本文实现了模型检测技术SPIN对无线认证协议Aziz-Diffie协议的建模和检测,并对验证结果进行了分析,完成了对协议存在的缺陷的一种改进。

关键词：无线网络 SPIN 模型检测无线认证协议 Aziz-Diffie协议

来源：评论

学校读者我要写书评

暂无评论

基于PKI的通用无线认证协议研究

引用

计算机科学 2012年第7期39卷 74-77页

作者：谌双双陈泽茂王浩海军工程大学电子工程学院武汉430033

基于PKI的WTLS协议涉及复杂的证书操作,需耗费较大的通信和计算开销,且缺乏对服务器证书的有效性检查。引入可信证书验证代理(TCVP)和证书有效性凭据(CVT)等概念,由TCVP为无线通信节点(WN)生成短时有效的CVT,WN通过交换CVT来完成证书的... 详细信息

基于PKI的WTLS协议涉及复杂的证书操作,需耗费较大的通信和计算开销,且缺乏对服务器证书的有效性检查。引入可信证书验证代理(TCVP)和证书有效性凭据(CVT)等概念,由TCVP为无线通信节点(WN)生成短时有效的CVT,WN通过交换CVT来完成证书的有效性检查和公钥交换。基于此,提出了一种通用无线认证协议(GWAP)。在GWAP框架下,采用ECC算法设计了一种具体的无线安全认证协议,并进行了效率分析。结果表明,该协议在确保安全的前提下降低了通信开销。

关键词：无线认证协议公钥密码 PKI 身份认证 ECC

来源：评论

学校读者我要写书评

暂无评论

基于证书的无线认证协议的设计与分析

引用

计算机工程与应用 2003年第3期39卷 156-157,171页

作者：赵庆刘玮国防科学技术大学长沙410073 中国人民解放军装备指挥技术学院北京101416

文章提出了一个基于数字证书的无线认证协议,实现了通信双方的相互认证,建立了一个经过双方确认的公正的会话密钥。通过BAN逻辑及各种可能的攻击分析,证明协议是安全的。

关键词：证书无线认证协议设计通信协议无线通信系统 BAN逻辑公钥密码体制手机

来源：评论

学校读者我要写书评

暂无评论

无线认证协议Server-specific MAKEP的一种改进

引用

桂林电子工业学院学报 2006年第4期26卷 255-258页

作者：刘霞古天龙桂林电子科技大学计算机系广西桂林541004

无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份,防止假冒攻击。如果无线认证协议出现安全漏洞,整个会话就没有安全性可言,还会影响随后会话的安全性。针对无线认证协议Server-spec ificM AKEP存在的认证性缺陷,给出了... 详细信息

无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份,防止假冒攻击。如果无线认证协议出现安全漏洞,整个会话就没有安全性可言,还会影响随后会话的安全性。针对无线认证协议Server-spec ificM AKEP存在的认证性缺陷,给出了对协议的一种改进。对改进后的协议进行模型检验分析的结果表明,改进后的Server-spec ific M AKEP协议满足认证性和保密性。此外,把存储空间的占用从移动装置转移到了固定装置,减少了移动装置存储空间的占有率,从而提高了移动装置的通信效率。

关键词：无线认证协议认证性模型检验

来源：评论

学校读者我要写书评

暂无评论

移动电子商务协议的模型检验分析与设计研究

移动电子商务协议的模型检验分析与设计研究

引用

作者：刘霞桂林电子科技大学

学位级别：硕士

目前,全球移动电子商务呈现异常强劲的势头,我国移动电子商务也在迅速发展。用户使用移动电子商务时最关心的是安全问题,而移动电子商务协议的安全是保证移动电子商务安全的一个重要方面。移动电子商务协议是一类特殊的电子商务协议,与... 详细信息

目前,全球移动电子商务呈现异常强劲的势头,我国移动电子商务也在迅速发展。用户使用移动电子商务时最关心的是安全问题,而移动电子商务协议的安全是保证移动电子商务安全的一个重要方面。移动电子商务协议是一类特殊的电子商务协议,与传统电子商务协议相比,由于移动装置和无线网络的特点,移动电子商务协议的执行环境更为复杂,从而使其更容易存在安全缺陷,同时也为其形式化分析与设计带来了新的挑战。本文主要研究了移动电子商务协议(包括无线认证协议,因为无线认证协议是移动电子商务协议的基础)的模型检验分析与设计,所取得的主要研究成果有: (1)应用模型检验方法对无线认证协议Server-specific MAKEP进行分析,借助模型检验工具SMV,成功地找到了协议存在的认证性缺陷,并对该缺陷所产生的影响进行了讨论; (2)针对Server-specific MAKEP协议存在的认证性缺陷,给出了协议的一种改进,并对改进后的协议再次进行模型检验分析,分析结果表明协议达到了安全要求; (3)针对移动电子商务协议,提出了一种基于有限状态机的建模方法;应用该方法,以一个典型的移动支付协议KSL为例进行模型检验分析;在检测出协议存在的公平性缺陷之后,给出了协议的一种改进; (4)针对移动装置和无线网络的特点,设计了一种移动环境公平支付协议,并对协议的公平性、保密性、时间性等性质进行模型检验分析,验证了其可行性。

关键词：移动电子商务协议无线认证协议形式化分析模型检验

来源：评论

学校读者我要写书评

暂无评论

移动通信系统的端到端保密技术研究

移动通信系统的端到端保密技术研究

引用

作者：唐曙晖上海交通大学

学位级别：硕士

移动通信系统的保密性对于军用和民用来说都是必须具备的基本特性之一，在高度机密的情况下更是如此。但是，在现有商用移动通信系统（包括2G、2.

关键词：移动通信保密技术密钥管理合法侦听无线认证协议密钥协商协议

来源：评论

学校读者我要写书评

暂无评论

便携计算机防盗提示器设计及无线认证策略

引用

信息安全研究 2016年第6期2卷 527-532页

作者：刘振吉周昱瑶吴家菊袁小兵平超秦英中国工程物理研究院计算机应用研究所四川绵阳621900

存储有涉密信息的便携计算机一旦遗失或被盗就会造成不可估量的损失.为提高便携计算机的防丢防盗技术水平,提出了一种基于双向无线通信的主从式防丢防盗报警方案.为防止计算机信息的电磁泄漏,在设计计算机机箱时将报警系统从机与计算机... 详细信息

存储有涉密信息的便携计算机一旦遗失或被盗就会造成不可估量的损失.为提高便携计算机的防丢防盗技术水平,提出了一种基于双向无线通信的主从式防丢防盗报警方案.为防止计算机信息的电磁泄漏,在设计计算机机箱时将报警系统从机与计算机等主板实现物理隔离.通过调节报警系统主从机无线通信模块的发射功率和接受灵敏度,可实现装有从机的便携式计算机产品脱离携带者预设控制距离范围时,主机能给出报警提示并控制从机也发出报警,便于定位.利用自定义协议增强主机与从机间无线认证,确保通信安全.经过对样机进行实验验证,该方案技术路线可行.

关键词：便携式计算机方位信息防盗告警无线认证协议

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：