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

通信学报 2008年第10期29卷 126-134页

作者：马卓马建峰曾勇沈玉龙西安电子科技大学计算机学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,... 详细信息

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,策略执行点和策略决策点三者之间的用户认证和密钥确认,同时在第一轮交互中就实现了策略决策点对访问请求者平台身份的认证和平台完整性的校验,提高了协议执行的效率,降低了服务器端的负载。利用通用可组合安全模型对新协议进行了安全性证明,并对协议性能进行了对比分析。结果表明:新协议达到通用可组合安全,且与现有协议相比性能优势明显。

关键词： WLAN Mesh 可信网络接入通用可组合安全认证协议

来源：评论

学校读者我要写书评

暂无评论

通用可组合安全的匿名认证密钥交换协议

引用

深圳大学学报（理工版） 2010年第4期27卷 402-407页

作者：蔡庆玲詹宜巨刘洋唐焯宜中山大学工学院广州510275 中山大学信息科学与技术学院广州510275

针对智能卡登录系统中远程身份认证和密钥交换问题,提出一种具有通用可组合安全的基于口令的匿名认证密钥交换协议——πpAKE.该协议采用匿名技术进行登录认证及信息存储管理,使用Diffie-Hellman(DH)算法实现数据交换,同时生成临时会话... 详细信息

针对智能卡登录系统中远程身份认证和密钥交换问题,提出一种具有通用可组合安全的基于口令的匿名认证密钥交换协议——πpAKE.该协议采用匿名技术进行登录认证及信息存储管理,使用Diffie-Hellman(DH)算法实现数据交换,同时生成临时会话密钥.由此节省了登录的运算开销,且协议具有前向安全性.研究从形式化论证角度出发,利用通用可组合安全认证理想函数FAUTH模型和密钥交换理想函数FKE模型,构建πpAKE的通用可组合安全模型,并在此模型下,对πpAKE安全性进行论证,结果表明,该协议具有通用可组合的安全性能.

关键词：通信技术信息安全远程身份认证密钥交换协议会话密钥通用可组合安全口令认证

来源：评论

学校读者我要写书评

暂无评论

通用可组合安全的可信网络接入与认证协议

引用

计算机工程 2010年第8期36卷 126-129页

作者：王佳慧吴振强陕西师范大学计算机科学学院西安710062

可信计算组织提出的可信网络连接框架规范无法安全高效地支持未来移动计算和普适计算等应用场景,针对该问题,在完整性验证中采用服务器和客户端的双向认证方法,提出一种可信网络接入与认证协议,提高通信安全性和可靠性。在身份认证时采... 详细信息

可信计算组织提出的可信网络连接框架规范无法安全高效地支持未来移动计算和普适计算等应用场景,针对该问题,在完整性验证中采用服务器和客户端的双向认证方法,提出一种可信网络接入与认证协议,提高通信安全性和可靠性。在身份认证时采用对称密钥算法,减少服务器和客户端的加解密运算时间,提高通信效率。使用安全等级较高的通用可组合安全框架对协议进行分析,结果表明该协议达到通用可组合安全等级。

关键词：通用可组合安全仿真器理想函数完整性

来源：评论

学校读者我要写书评

暂无评论

通用可组合安全的WLAN密钥交换协议

引用

计算机应用研究 2010年第10期27卷 3869-3871页

作者：张浩军齐庆磊河南工业大学信息科学与工程学院郑州450001

安全性是WLAN应用的核心问题,IEEE802.11i定义了WLAN安全基础框架,其中,四次握手协议4-WAY实现会话密钥交换与更新。分析表明4-WAY易遭受拒绝服务攻击,提出了一种改进会话密钥协商协议3-WAY,分析表明该协议具有更好的消息认证和完整性保... 详细信息

安全性是WLAN应用的核心问题,IEEE802.11i定义了WLAN安全基础框架,其中,四次握手协议4-WAY实现会话密钥交换与更新。分析表明4-WAY易遭受拒绝服务攻击,提出了一种改进会话密钥协商协议3-WAY,分析表明该协议具有更好的消息认证和完整性保护,以及高效性。采用通用可组合安全模型对3-WAY进行分析,证明该协议能够实现密钥交换理想函数,具有通用可组合安全性。该协议具有广泛适用性。

关键词：无线局域网密钥交换协议通用可组合安全

来源：评论

学校读者我要写书评

暂无评论

交互式网络安全协议通用可组合安全分析方法研究

交互式网络安全协议通用可组合安全分析方法研究

引用

作者：齐庆磊河南工业大学

学位级别：硕士

安全协议是保障网络通信信息安全的重要技术手段，在复杂的网络环境中设计和分析安全协议是信息安全技术领域中一项困难的事情。现有的安全协议分析方法主要包括模态逻辑、定理证明、进程演算、基于可证安全理论、组合安全证明等，而大... 详细信息

安全协议是保障网络通信信息安全的重要技术手段，在复杂的网络环境中设计和分析安全协议是信息安全技术领域中一项困难的事情。现有的安全协议分析方法主要包括模态逻辑、定理证明、进程演算、基于可证安全理论、组合安全证明等，而大多数分析方法是将安全协议置于封闭独立的环境中，因此协议分析有局限性。组合安全证明方法在多协议共存的复杂环境中分析协议安全属性，克服了上述局限性，更适合于分析现实的开放网络环境中的安全协议，成为近年来安全协议分析技术的研究热点。通用可组合安全框架源于安全多方计算和模块化设计思想，其组合定理保证在单一网络环境中分析的安全协议所具有的安全属性，在动态复杂网络环境中仍然成立。本文基于通用可组合安全框架研究交互式网络安全协议在复杂的网络中安全性证明，归纳提出了基于该框架分析交互式网络安全协议的一般方法——交互式网络安全协议通用可组合安全分析方法（Interactive Security Protocol Analysis Based-on UC, ISPA-UC），并运用所提方法分析改进了WLAN、IPSec等协议簇中部分子协议，并证明了它们的可组合安全性；针对WLAN中四次握手协议不能抵御拒绝服务攻击的问题，给出了改进的具有通用可组合安全性的三次握手协议；针对IPSec协议簇中快速密钥交换协议信息冗余的问题，给出了高效通用可组合安全的轻量级快速密钥交换协议。此外，针对自更新Hash链认证协议，定义了协议理想功能，并设计了基于一次签名理想功能的混合协议，并证明了混合协议能够通用可组合实现所给出的理想功能。通过运用所提出的交互式网络安全协议通用可组合安全分析方法ISPA-UC，针对现有WLAN、IPSec等协议的分析证明和优化，验证了其在分析改进安全协议中的有效性，从而能够指导交互式网络安全协议的设计与优化。

关键词：安全协议通用可组合安全密钥交换自更新Hash链

来源：评论

学校读者我要写书评

暂无评论

一种通用可组合安全的非交互式承诺方案

引用

计算机与现代化 2024年第1期 6-12页

作者：蔡泗沐王立斌华南师范大学计算机学院广东广州510631

承诺方案是密码学中最基本的组件之一,是许多密码协议的基础,如零知识证明和安全多方计算协议。通用可组合安全在设计安全协议中具有重要意义,如果一种协议在通用可组合框架中可证明安全,那么即使该协议与任意(甚至不安全的)协议并发运... 详细信息

承诺方案是密码学中最基本的组件之一,是许多密码协议的基础,如零知识证明和安全多方计算协议。通用可组合安全在设计安全协议中具有重要意义,如果一种协议在通用可组合框架中可证明安全,那么即使该协议与任意(甚至不安全的)协议并发运行,它仍然保持安全性。现有的几种高效的通用可组合安全的承诺方案都是交互式协议,而非交互式的通用可组合承诺方案具有较高的协议计算量和通信复杂度。针对于此,本文在公共参考串模型下,提出一种高效的通用可组合安全的非交互式承诺方案。通用可组合承诺方案的关键设计思想在于同时实现可提取性和模棱两可性。在承诺阶段使用一种选择密文安全加密方案实现可提取性,在承诺打开阶段使用一种非交互式零知识证明,并利用一种双模式承诺方案保持协议的模棱两可性。该方案将承诺打开阶段的多轮通信改进为一轮,实现了非交互性。与现有的非交互式承诺方案相比,大大减少了计算量和通信量,提高了协议的效率。

关键词：通用可组合安全承诺方案非交互式公共参考串

来源：评论

学校读者我要写书评

暂无评论

简单的通用可组合代理重签名方案

引用

软件学报 2010年第8期21卷 2079-2088页

作者：洪璇陈克非万中美上海师范大学计算机科学与技术系上海200234 上海交通大学计算机科学与工程系上海200240 现代通信国家重点实验室四川成都610041

给出一个简单的代理重签名方案及其两个等价的安全模型:基于通用可组合安全框架的安全模型和基于游戏的安全模型.提出的方案是双向的、多用的、可传递的和密钥最优化的,其安全性可以规约到随机预言机模型下的计算Diffie-Hellman假设.该... 详细信息

给出一个简单的代理重签名方案及其两个等价的安全模型:基于通用可组合安全框架的安全模型和基于游戏的安全模型.提出的方案是双向的、多用的、可传递的和密钥最优化的,其安全性可以规约到随机预言机模型下的计算Diffie-Hellman假设.该方案同时也满足通用可组合安全性.

关键词：代理重签名通用可组合安全可证明安全

来源：评论

学校读者我要写书评

暂无评论

群组通信的通用可组合机制

引用

计算机学报 2012年第4期35卷 645-653页

作者：田有亮马建峰彭长根姬文江西安电子科技大学通信工程学院西安710071 贵州大学理学院贵阳550025 西安电子科技大学计算机学院西安710071

在通用可组合框架下研究群组通信问题.首先,作者在UC框架下分别提出群组通信模型的理想函数FSAGCOM、基于身份签密模型的理想函数!IDSC和群密钥分发模型的理想函数FGKD.其次,构造了UC安全的基于身份签密协议πIDSC,同时,证明了基于身份... 详细信息

在通用可组合框架下研究群组通信问题.首先,作者在UC框架下分别提出群组通信模型的理想函数FSAGCOM、基于身份签密模型的理想函数!IDSC和群密钥分发模型的理想函数FGKD.其次,构造了UC安全的基于身份签密协议πIDSC,同时,证明了基于身份的签密协议πIDSC安全实现理想函数FIDSC当且仅当相应的基于身份的签密协议IDSC是安全的.最后,利用基于身份的签密协议πIDSC,提出了一种群组通信机制πSAGCOM,该机制在(FIDSC,FGKD)-混合模型下能安全实现群组通信的理想函数FSAGCOM.

关键词：通用可组合安全理想函数安全群组通信基于身份签密多对多群组通信

来源：评论

学校读者我要写书评

暂无评论

通用可组合的匿名HASH认证模型

引用

中国科学（E辑） 2007年第2期37卷 272-284页

作者：张帆马建峰文相在西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 国立庆北大学移动网络安全技术研究中心

理想函数是通用可组合安全的核心组成部分,但是目前通用可组合安全框架中定义的认证理想函数通过将身份与消息和签名值绑定的方式来实现对身份的认证,没能充分体现出采用其他形式进行匿名认证的特殊需求.受到Marten的启发,文中利用通用... 详细信息

理想函数是通用可组合安全的核心组成部分,但是目前通用可组合安全框架中定义的认证理想函数通过将身份与消息和签名值绑定的方式来实现对身份的认证,没能充分体现出采用其他形式进行匿名认证的特殊需求.受到Marten的启发,文中利用通用可组合安全定义并实现了一种适用于无线网络的匿名Hash认证理想函数,并在此基础上定义了一个具有普遍意义的Hash证书权威模型.定义了匿名Hash认证机制的安全需求和安全概念,并且证明在标准模型(非随机预言机模型)下所提匿名Hash认证机制的安全属性可以通过安全对称加密机制、安全数据签名机制、伪随机函数以及单向无碰撞Hash函数的组合得到保证.考虑到无线网络的特殊限制,以及移动终端设备的有限计算能力,本理想函数主要采用对称密码原语来实现身份认证.

关键词：通用可组合安全匿名认证 Hash

来源：评论

学校读者我要写书评

暂无评论

通用可组合的一次签名和广播认证

引用

中国科学：信息科学 2010年第2期40卷 272-284页

作者：张俊伟马建峰文相在西安电子科技大学计算机网络与信息安全(教育部)重点实验室西安710071 庆北国立大学移动网络安全研究中心

本文在通用可组合框架(universally composable framework,UC)下研究了基于一次签名的广播认证的问题.基于一次签名的广播认证的计算效率高,并能够实现即时认证,可以适用于能量受限的网络环境下广播消息的认证.在UC框架下,提出了基于一... 详细信息

本文在通用可组合框架(universally composable framework,UC)下研究了基于一次签名的广播认证的问题.基于一次签名的广播认证的计算效率高,并能够实现即时认证,可以适用于能量受限的网络环境下广播消息的认证.在UC框架下,提出了基于一次签名的广播认证安全模型.在模型中形式化定义了一次签名理想函数F_(OTS)和广播认证理想函数F_(BAUTH).并且设计了广播通信的理想函数F_(BCOM)和多值注册理想函数F_(mREG).然后,在(F_(OTS),F_(mREG),F_(BCOM))-混合模型下设计了安全实现理想函数F_(BAUTH)的广播认证方案π_(BAUTH).同时,在UC框架下设计了安全实现F_(OTS)的一次签名算法HORS+;基于单向链构造了在F_(REG)-混合模型下安全实现F_(mREG)的协议OWC.在π_(BAUTH)的基础上组合协议HORS+和OWC,可以构造出新的一次签名的广播认证协议.根据组合定理,新的广播认证协议具有通用可组合的安全性,适用于能量受限网络中广播消息的认证.

关键词：网络安全通用可组合安全广播认证一次签名

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：