检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

环签名的通用可组合安全模型及其应用研究

小型微型计算机系统 2012年第1期33卷 38-41页

作者：隗云熊国华张兴凯鲍皖苏信息工程大学电子技术学院电子技术研究所 96610部队

环签名是一种匿名签名技术,能保证签名用户的无条件匿名性.针对目前环签名协议只考虑单一协议执行时的安全性这一问题,定义了环签名在通用可组合框架下的安全模型,证明其等价于基于游戏的安全模型,并以前向安全环签名协议为例描述了如... 详细信息

环签名是一种匿名签名技术,能保证签名用户的无条件匿名性.针对目前环签名协议只考虑单一协议执行时的安全性这一问题,定义了环签名在通用可组合框架下的安全模型,证明其等价于基于游戏的安全模型,并以前向安全环签名协议为例描述了如何应用环签名的通用可组合安全模型来设计复杂协议,为签名协议的模块化设计提供了理论依据.

关键词：通用可组合基于游戏的安全模型环签名前向安全环签名

在线全文

学校读者我要写书评

暂无评论

无证书签密的通用可组合机制

计算机应用与软件 2021年第7期38卷 317-322,331页

作者：王琳杰田有亮铜仁学院大数据学院贵州铜仁554300 贵州大学计算机科学与技术学院贵州贵阳550025 贵州省公共大数据重点实验室(贵州大学) 贵州贵阳550025

在通用可组合框架(UC framework)下研究无证书的签密协议。针对无证书签密协议(CLSC)的安全性不满足通用可组合性,根据无证书签密协议的安全需求,构建安全模型即理想函数。在F-混合模型下构造无证书签密协议,证明该协议安全实现理想函... 详细信息

在通用可组合框架(UC framework)下研究无证书的签密协议。针对无证书签密协议(CLSC)的安全性不满足通用可组合性,根据无证书签密协议的安全需求,构建安全模型即理想函数。在F-混合模型下构造无证书签密协议,证明该协议安全实现理想函数的条件是满足在适应性选择密文攻击下的不可区分性(IND-CCA2)。基于离散对数问题实现一个具体的签密协议实例,验证了模型的有效性。

关键词：通用可组合理想函数无证书签密适应性选择密文攻击

在线全文

学校读者我要写书评

暂无评论

多因素认证协议的通用可组合模型

小型微型计算机系统 2024年

作者：黄佳佳马昕李新慧黄鑫太原理工大学计算机科学与技术学院(大数据学院)

随着信息安全需求的不断增加，多因素认证协议的重要性日益凸显，其安全性问题以及通用的安全分析方法也受到了越来越多的关注.本文基于通用可组合（Universally Composable，UC）框架，提出一种多因素认证协议的可证明安全模型，与现... 详细信息

随着信息安全需求的不断增加，多因素认证协议的重要性日益凸显，其安全性问题以及通用的安全分析方法也受到了越来越多的关注.本文基于通用可组合（Universally Composable，UC）框架，提出一种多因素认证协议的可证明安全模型，与现有模型相比，该模型结合了多因素特性与通用可组合性.具体而言，本文首先综合考虑多因素认证协议中密码、硬件设备、生物特征因素的安全需求和潜在威胁，定义了多因素认证协议的理想功能.其次，提出了一种多因素认证协议，并且构造了对应的模拟器.最后，对改进后的多因素认证协议进行安全分析，分析结果表明，提出的理想功能可以描述多因素认证协议的特性.

关键词：多因素认证协议可证明安全模型通用可组合理想功能

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一般化通用可组合安全框架研究

计算机工程与设计 2012年第4期33卷 1271-1274,1284页

作者：张妤彭亮解放军信息工程大学电子技术学院 63850部队

分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框... 详细信息

分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框架与UC框架及其改进版本进行比较,发现能实现包括安全计算在内的所有良好形式的理想功能的现有框架拥有一个共性,即仿真器的能力比现实敌手的能力强。讨论了GUC框架仍然存在的不足。

关键词：密码协议通用可组合一般化通用可组合安全分析框架全局建立假定信任模型

计算可靠且高效的群组密钥协商协议符号化分析方法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2012年第4期35卷 664-672页

作者：张子剑祝烈煌王峰廖乐健北京理工大学计算机学院北京100081 海军装备研究院北京100161

符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协... 详细信息

符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.

关键词：计算可靠高效符号化分析通用可组合群组密钥协商

在线全文

学校读者我要写书评

暂无评论

UC安全计算的一种信任模型

四川大学学报（工程科学版） 2012年第3期44卷 106-111页

作者：张妤胡杰解放军信息工程大学电子技术学院河南郑州450004 装甲兵工程学院北京100072

UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种... 详细信息

UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种公钥基础设施风格的双陷门分离的信任模型DBT模型,作为实验在DBT模型中实现了UC安全的承诺协议。实验结果表明DBT模型集成了现有信任模型的优点,并且支持协议的完全可模拟性。

关键词：密码协议通用可组合安全计算承诺协议信任模型

可证明安全的轻量级无服务型RFID安全搜索协议

在线全文

学校读者我要写书评

暂无评论

湖南大学学报（自然科学版） 2014年第8期41卷 117-124页

作者：王鑫贾庆轩高欣赵兵崔宝江北京邮电大学自动化学院北京100876 中国电力科学研究院北京100192 北京邮电大学计算机学院北京100876

针对RFID标签搜索过程中产生的安全与隐私问题,设计了一个轻量级无服务型RFID安全搜索协议.通过严格时间戳的方式对移动读写器的时间权限进行管理,提出松散时间戳和HASH函数相结合的方式对无线信道进行安全防护,其利用HASH函数的单向性... 详细信息

针对RFID标签搜索过程中产生的安全与隐私问题,设计了一个轻量级无服务型RFID安全搜索协议.通过严格时间戳的方式对移动读写器的时间权限进行管理,提出松散时间戳和HASH函数相结合的方式对无线信道进行安全防护,其利用HASH函数的单向性保证了协议消息的完整性和保密性,利用碰撞原理实现了可调节的隐私强度及搜索效率.在UC框架下证明了协议满足通用可组合安全性,使得协议可运行在并发环境当中,在标准安全模型下证明了协议满足抵抗重放、去同步、跟踪及匿名性等攻击方式,提出的搜索协议具有强安全性和强隐私性.

关键词：无线射频识别(RFID) 搜索协议通用可组合标准安全模型

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

基于VSPH的UC不经意传输协议

通信学报 2007年第7期28卷 28-34页

作者：李凤华冯涛马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室

基于UC(universally composable)安全模型框架,提出了一个新的不经意传输协议方案(UC-OT)。利用可验证平滑投影散列函数(VSPH),在公共参考串模型中,该协议方案实现了抗自适应攻击的通用可组合安全。UC-OT利用基于确定性组合剩余假设构... 详细信息

基于UC(universally composable)安全模型框架,提出了一个新的不经意传输协议方案(UC-OT)。利用可验证平滑投影散列函数(VSPH),在公共参考串模型中,该协议方案实现了抗自适应攻击的通用可组合安全。UC-OT利用基于确定性组合剩余假设构造的非承诺加密体制提高了协议的计算效率,实现了string-OT,与bit-OT协议相比单轮通信效率提高O(n)倍。在non-erase模型假设下,与Canetti所提的方案相比,单轮交互次数减少1次;与Fischlin方案相比,单轮交互次数减少2次,并且本方案不需要辅助第3方,因而更符合实际情况。

关键词：信息安全不经意传输通用可组合自适应攻击

在线全文

学校读者我要写书评

暂无评论

UC安全的空间网络双向认证与密钥协商协议

电子学报 2010年第10期38卷 2358-2364页

作者：郭渊博王超王良民解放军信息工程大学电子技术学院河南郑州450004 西安电子科技大学计算机学院陕西西安710071 江苏大学计算机科学与通信工程学院江苏镇江212013

为了满足空间信息网络异构互联和高动态组网时,实施接入时的访问控制要求,基于Diffie-Hellman密钥交换,采用签名认证方式,在飞行器与外部子网无任何安全关联的假设条件下,提出了基于有证书的公钥系统模型下的空间信息网络安全接入认证... 详细信息

为了满足空间信息网络异构互联和高动态组网时,实施接入时的访问控制要求,基于Diffie-Hellman密钥交换,采用签名认证方式,在飞行器与外部子网无任何安全关联的假设条件下,提出了基于有证书的公钥系统模型下的空间信息网络安全接入认证与密钥协商协议,可用于飞行器进入空间信息网或跨子网漫游时,与接入点之间的双向认证与密钥协商过程.分析表明,在DDH(Decisional Diffie-Hellman)假定成立的前提下,所提出的协议在UC(Universally Composable)安全模型下是可证明安全的.

关键词：空间信息网络通用可组合认证与密钥协商 DDH假设