检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

eCK模型下的密钥协商

计算机科学 2014年第8期41卷 172-177页

作者：柳秀梅高克宁薛丽芳常桂然周福才东北大学计算中心沈阳110819 东北大学软件学院沈阳110819

如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想。针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协... 详细信息

如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想。针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问。

关键词：认证密钥协商 eCK模型 CDH假设形式化证明

在线全文

学校读者我要写书评

暂无评论

eCK模型的安全性分析

山东大学学报（理学版） 2013年第7期48卷 46-50,67页

作者：倪亮陈恭亮李建华中原工学院计算机学院河南郑州450007 计算机信息系统安全评估河南省工程实验室河南郑州450007 上海交通大学信息安全工程学院上海200240

认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法,eCK模型正受到越来越多的关注,而其所能提供的确切安全保证值得深入探究。由此,对eCK模型定义和... 详细信息

认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法,eCK模型正受到越来越多的关注,而其所能提供的确切安全保证值得深入探究。由此,对eCK模型定义和有关认证密钥协商协议基本良好安全性质之间的关系进行了详细分析。结论表明在eCK模型下可证明安全的认证密钥协商协议具备大多数基本的良好安全性质。据此总结了eCK模型的优势和不足。

关键词：认证密钥协商协议 eCK模型可证明安全性

两个eCK模型下可证安全的密钥交换协议分析

在线全文

学校读者我要写书评

暂无评论

武汉大学学报（理学版） 2010年第2期56卷 219-222页

作者：程庆丰马传贵胡学先信息工程大学信息研究系河南郑州450002 解放军外国语学院基础部河南洛阳471003

基于eck(extended Canetti-Krawczyk)模型的定义,针对eCK模型下证明安全的两个密钥交换协议进行了分析.结果显示两个密钥交换协议在eCK模型中都是不安全的,其中SAKA(secure authenticated key agree-ment)协议不能抵抗临时密钥泄露攻击... 详细信息

基于eck(extended Canetti-Krawczyk)模型的定义,针对eCK模型下证明安全的两个密钥交换协议进行了分析.结果显示两个密钥交换协议在eCK模型中都是不安全的,其中SAKA(secure authenticated key agree-ment)协议不能抵抗临时密钥泄露攻击也不能抵抗长期密钥泄露攻击,并且不具有前向安全性.另一个SHY(Shi-Huang-Yang)协议不能抵抗两方临时密钥同时泄露的攻击.

关键词：密钥交换 eCK模型计算Diffie-Hellman(CDH)假设双线性Diffie-Hellman(BDH)假设

在线全文

学校读者我要写书评

暂无评论

eCK模型下认证密钥交换协议及其证明

eCK模型下认证密钥交换协议及其证明

作者：田静东北大学

学位级别：硕士

随着信息技术的不断发展,安全越来越受得人们的关注。密码学的主要任务就是在不安全的环境下确保安全的通信,而密钥交换协议是一个重要的密码学原语,可以让两方或者多方在不安全的信道上协商一个会话密钥,从而建立一个安全的通信信道,... 详细信息

随着信息技术的不断发展,安全越来越受得人们的关注。密码学的主要任务就是在不安全的环境下确保安全的通信,而密钥交换协议是一个重要的密码学原语,可以让两方或者多方在不安全的信道上协商一个会话密钥,从而建立一个安全的通信信道,在信息安全领域中通常可归结为认证密钥交换协议问题。 AKE协议因其具有实现通信各方生成共享会话密钥和完成相互身份认证两大目标的优点,得到了人们的广泛关注。本文主要研究eCK模型下的认证密钥交换协议及其可证明安全性。首先提出一个CK模型下安全的SIG-2AKE协议,详细描述了协议的过程,并给出了形式化的证明,但该协议在eCK模型下是不安全的。在此基础上提出了一个eCK模型下基于CDH假设的三方的认证密钥交换协议,该协议主要思想是基于计算性假设和两方认证密钥交换协议的基础上,增加了一轮的信息交互,利用参与者之间生成的量两的会话密钥来加密信息,从而生成三方共有的会话密钥。并运用陷门测试定理给出了形式化的证明该协议在eCK模型下是安全的。论文还提出一个eCK模型下基于GDH假设的N方的认证密钥交换协议,并与典型的N方认证密钥交换协议协议进行了比较,证明文中所提方案在eCK模型下安全的。此外,还将该方案与几种典型AKE方案在基于的数学假设、安全属性等方面进行了对比,结果表明该方案具有更高的安全性。

关键词：认证密钥交换协议可证明安全性 eCK模型陷门测试定理

横向联邦学习环境基于身份认证及密钥协商协议

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

北京航空航天大学学报 2023年第2期49卷 397-405页

作者：任杰黎妹红杜晔尹李纶谨北京交通大学智能交通数据安全与隐私保护技术北京市重点实验室北京100044 北京交通大学计算机与信息技术学院北京100044

近年来,联邦学习受到多个领域的广泛关注,而认证及会话密钥协商是保证通信实体之间安全传输、可靠通信的关键技术和基本的安全保障。根据横向联邦学习参与方数据特征,提出一种基于身份的无证书轻量级认证及密钥协商协议;参与方在密钥生... 详细信息

近年来,联邦学习受到多个领域的广泛关注,而认证及会话密钥协商是保证通信实体之间安全传输、可靠通信的关键技术和基本的安全保障。根据横向联邦学习参与方数据特征,提出一种基于身份的无证书轻量级认证及密钥协商协议;参与方在密钥生成中心(KGC)完成注册后,利用公共参数计算各自的临时密钥和长期密钥完成认证、计算会话密钥;最后,采用扩展的CK(eck)模型对所提协议进行安全性证明。性能分析表明:所提协议在计算性能和通信开销方面可以有效地控制成本,适用于单服务器下横向联邦学习的训练环境。

关键词：横向联邦学习基于身份密码体制无证书认证及密钥协商 eCK模型

面向Lippold安全模型的无证书两方认证密钥协商协议

在线全文

学校读者我要写书评

暂无评论

太原理工大学学报 2023年第5期54卷 773-781页

作者：张萌楠马垚陈永乐于丹太原理工大学信息与计算机学院山西晋中030600

【目的】通过分析Lippold安全模型中的会话部分密钥泄露伪装攻击(P-KCI),发现现有无证书密钥协商协议存在安全缺陷,无法抵挡会话部分密钥泄露伪装攻击。【方法】总结了Lippold安全模型中会话部分密钥泄露伪装攻击的8种不同密钥组合泄露... 详细信息

【目的】通过分析Lippold安全模型中的会话部分密钥泄露伪装攻击(P-KCI),发现现有无证书密钥协商协议存在安全缺陷,无法抵挡会话部分密钥泄露伪装攻击。【方法】总结了Lippold安全模型中会话部分密钥泄露伪装攻击的8种不同密钥组合泄露攻击,利用这些攻击,分析了现有无证书密钥协商协议的安全缺陷。【结果】提出了一种可以完全抵挡P-KCI攻击的高效无证书两方认证密钥协商协议,并扩展了eck(extended extended-Canetti-Krawczyk)模型,证明了本协议的安全性。【结论】与现有的同类协议相比,本文协议安全性有较大提高且计算损耗降低了28.4%.

关键词：无证书无配对认证密钥协商会话部分密钥泄露伪装攻击(P-KCI) Lippold安全模型 eCK模型

在线全文

学校读者我要写书评

暂无评论

基于NTRU密钥协商协议设计

信息安全研究 2024年第1期10卷 12-19页

作者：郑鉴学张道法徐松艳宋苏鸣北京遥测技术研究所北京100094

NTRU是最早将密码系统困难性规约到格上困难问题的公钥密码体制.NTRU的特征简洁,密钥生成不复杂,运算速度快并且需要的存储空间小,所以目前基于格上困难问题建立密码体制的算法中,NTRU更加简便高效.然而基于NTRU的密钥协商协议相关研究... 详细信息

NTRU是最早将密码系统困难性规约到格上困难问题的公钥密码体制.NTRU的特征简洁,密钥生成不复杂,运算速度快并且需要的存储空间小,所以目前基于格上困难问题建立密码体制的算法中,NTRU更加简便高效.然而基于NTRU的密钥协商协议相关研究较少,现存的基于NTRU的密钥协商协议消息传递过程中密钥的保护不充分,易为敌手攻击留下后门,且协议的安全性论证不充分不完备.鉴于此,提出了2个基于NTRU格上的密钥协商协议,增加临时秘密信息,使方案具有强前向安全性,并且提出了详细的安全证明,在不泄露响应方密钥和要伪造的会话密钥的情况下,该证明是基于格上最短向量计算困难性SVP假设下会话密钥的不可伪造性.该安全证明在eCK模型下可证明安全的.相较于DH,ECDH等传统的密钥协商方案,NTRU方案是基于多项式环上的,运算效率更高,其安全性可以归约到求解格上的困难问题,可以抵御量子攻击.

关键词：格 NTRU 密钥协商协议可证明安全 eCK模型

在线全文

学校读者我要写书评

暂无评论

轻量级的两方认证密钥协商协议

计算机工程与应用 2023年

作者：宋庆马米米邓淼磊左志斌河南工业大学信息科学与工程学院

轻量级的两方认证密钥协商协议允许通信双方在公开信道上建立一个相同且安全的会话密钥。现有的认证协议难以满足轻量级的需求，同时多数轻量级协议仍存在某些安全问题。基于此，提出了一种基于身份的两方匿名轻量级逆向防火墙认证密钥... 详细信息

轻量级的两方认证密钥协商协议允许通信双方在公开信道上建立一个相同且安全的会话密钥。现有的认证协议难以满足轻量级的需求，同时多数轻量级协议仍存在某些安全问题。基于此，提出了一种基于身份的两方匿名轻量级逆向防火墙认证密钥协商协议。该协议在eCK模型下结合BAN逻辑被证明是安全的。协议提供匿名性、完美前向安全性、抗重放攻击、抗Dos攻击、抗中间人攻击。最后与其他轻量级认证协议对比发现，该协议具有更高的安全性和较短的运行时间，适用于资源受限设备。

关键词：身份认证密钥协商逆向防火墙轻量级 eCK模型 BAN逻辑

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

面向无线传感器网络的认证密钥协商机制

小型微型计算机系统 2023年

作者：李贵勇张航韩才君李欣超重庆邮电大学通信与信息工程学院

无线传感器网络(Wireless Sensor Networks，WSN)是物联网的重要组成部分，因为WSN能通过因特网将采集到的数据发送到云服务器。认证和密钥协商机制是一个重要的密码学概念，可以确保数据传输的机密和完整性。传感器节点是资源受限的设... 详细信息

无线传感器网络(Wireless Sensor Networks，WSN)是物联网的重要组成部分，因为WSN能通过因特网将采集到的数据发送到云服务器。认证和密钥协商机制是一个重要的密码学概念，可以确保数据传输的机密和完整性。传感器节点是资源受限的设备，因此目前多数认证和密钥协商机制在计算效率上并不适用于WSN。针对该问题，本文提出了一种新的认证和密钥协商机制，该方案是一种基于椭圆曲线的轻量级认证和密钥协商方案。在eck安全模型下，将方案的安全性规约到CDH数学困难假设之上，形式化的证明了方案的安全性。最后通过方案对比，表明文章所提出的方案实现了计算效率和安全属性之间的平衡。

关键词：无线传感器网络认证和密钥协商 eCK模型 CDH假设形式化证明