期刊文献+
共找到155篇文章
< 1 2 8 >
每页显示 20 50 100
一种分析Timed-Release公钥协议的扩展逻辑 被引量:5
1
作者 范红 冯登国 《计算机学报》 EI CSCD 北大核心 2003年第7期831-836,共6页
在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例... 在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例进行了有效的形式化分析 . 展开更多
关键词 timed-release公钥协议 扩展逻辑 密钥 密码协议 形式化分析
在线阅读 下载PDF
Needham-Schroeder公钥协议的模型检测分析 被引量:29
2
作者 张玉清 王磊 +1 位作者 肖国镇 吴建平 《软件学报》 EI CSCD 北大核心 2000年第10期1348-1352,共5页
密码协议安全性的分析是当前网络安全研究领域的一个世界性难题 .提出了运用模型检测工具 SMV( symbolic model verifier)分析密码协议的方法 ,并对著名的 Needham- Schroeder( NS)公钥协议进行了分析 .分析结果表明 ,入侵者可以轻松地... 密码协议安全性的分析是当前网络安全研究领域的一个世界性难题 .提出了运用模型检测工具 SMV( symbolic model verifier)分析密码协议的方法 ,并对著名的 Needham- Schroeder( NS)公钥协议进行了分析 .分析结果表明 ,入侵者可以轻松地对 NS公钥协议进行有效攻击 ,而这个攻击是 BAN逻辑分析所没有发现过的 .同时 ,给出了经 SMV分析过的一个安全的 展开更多
关键词 模型检测 密码协议 网络安全 NS公钥协议
在线阅读 下载PDF
一种利用公钥体制改进Kerberos协议的方法 被引量:34
3
作者 刘克龙 卿斯汉 蒙杨 《软件学报》 EI CSCD 北大核心 2001年第6期872-877,共6页
针对 Kerberos认证协议由对称算法所带来的局限性 ,在保持原有协议框架的基础上 ,采用基于 El Gamal公钥算法的 Yaksha安全系统对
关键词 ElGamal算法 网络协议 公钥体制 认证中心 KERBEROS协议
在线阅读 下载PDF
基于NTRU公钥密码系统的RFID通信安全协议的研究 被引量:7
4
作者 蔡庆玲 詹宜巨 +1 位作者 余松森 刘洋 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第5期6-11,共6页
提出使用NTRU公钥密码系统建立RFID通信安全协议。通过使用构造随机化函数对NTRU公钥密码系统的明文进行动态、随机化映射,使由其映射后的明文具有了动态、随机分布的特性,实现了对明文信息的隐蔽,抵御了对明文信息特性的统计,致使攻击... 提出使用NTRU公钥密码系统建立RFID通信安全协议。通过使用构造随机化函数对NTRU公钥密码系统的明文进行动态、随机化映射,使由其映射后的明文具有了动态、随机分布的特性,实现了对明文信息的隐蔽,抵御了对明文信息特性的统计,致使攻击者对所得信息及信息来源无法区分和识别。由此设计的安全协议不仅满足了RFID通信安全协议要求的保密性、认证性等基本功能,而且能够有效地解决流量分析、跟踪攻击、隐私泄漏等RFID系统特殊的安全问题。同时不需要穷尽搜索,不需要密钥同步,密钥存储、密钥管理系统简单,并且具有良好的可扩展性。 展开更多
关键词 RFID系统 安全协议 NTRU公钥密码系统 认证协议
在线阅读 下载PDF
基于公钥体制的3GPP认证与密钥协商协议 被引量:4
5
作者 邓亚平 付红 +2 位作者 谢显中 张玉成 石晶林 《计算机应用》 CSCD 北大核心 2009年第11期2936-2938,3007,共4页
对比了第三代移动通信系统中的认证与密钥协商协议,分析了第三代合作伙伴计划(3GPP)最新发布的系统架构演进(SAE)Re1ease8标准的认证与密钥协商协议,指出了协议中存在的几个安全缺陷。针对协议的安全缺陷,结合公钥密码体制提出一种改进... 对比了第三代移动通信系统中的认证与密钥协商协议,分析了第三代合作伙伴计划(3GPP)最新发布的系统架构演进(SAE)Re1ease8标准的认证与密钥协商协议,指出了协议中存在的几个安全缺陷。针对协议的安全缺陷,结合公钥密码体制提出一种改进的3GPP SAE认证与密钥协商协议。改进协议利用公钥加密机制保护用户身份信息和网络域的用户认证向量,采用动态随机数方式生成本地认证中需要的密钥。对改进协议进行安全和效率分析的结果表明,该协议可以有效解决上述安全缺陷,能以较少的资源开销获取安全性能的提升。 展开更多
关键词 协议安全 公钥 认证 密钥协商 协议分析
在线阅读 下载PDF
一种高效的无证书公钥移动IP注册协议 被引量:3
6
作者 马华 刘雪 +1 位作者 刘振华 董博 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2012年第4期135-139,共5页
为了缩短移动IP的注册时延和提高注册性能,提出了一种新的基于无证书公钥的移动IP注册协议。新协议采用无线性对运算的短消息签名实现家乡代理(HA)和移动代理(FA)之间的相互认证。在新协议中,重复使用初始值可以使移动节点(MN)和家乡代... 为了缩短移动IP的注册时延和提高注册性能,提出了一种新的基于无证书公钥的移动IP注册协议。新协议采用无线性对运算的短消息签名实现家乡代理(HA)和移动代理(FA)之间的相互认证。在新协议中,重复使用初始值可以使移动节点(MN)和家乡代理之间保持同步,用移动用户的临时身份标示符代替真实身份实现了协议的匿名性,同时在移动实体的注册消息中附加随机数,使协议能抵抗重放攻击。与现有的无证书移动IP注册协议比较,该协议减少了家乡代理和移动代理的计算量以及它们之间注册消息的长度,同时保障了移动实体间相互认证和密钥协商的安全性及注册消息的完整性。 展开更多
关键词 协议 数字签名 无证书公钥密码 移动IP
在线阅读 下载PDF
公钥密码体制下认证协议的形式化分析方法研究 被引量:4
7
作者 钱勇 谷大武 +1 位作者 陈克非 白英彩 《小型微型计算机系统》 CSCD 北大核心 2002年第2期145-147,共3页
本文通过对形式化方法中最广泛使用的类 BAN逻辑进行研究发现 ,此方法更侧重于对称密码体制下认证协议的分析 ,而在分析基于公钥体制的认证协议时 ,该方法有很大的局限性 .因此 ,文中针对公钥密码的特点对类 BAN逻辑进行了扩展 .
关键词 公钥密码体制 认证协议 形式化方法 类BAN逻辑 身份认证 网络安全 计算机网络
在线阅读 下载PDF
基于公钥的EAP-AKA协议改进及安全性分析 被引量:3
8
作者 董春冻 王聪 +2 位作者 刘军 周星 张玉静 《计算机工程与设计》 CSCD 北大核心 2014年第1期32-36,157,共6页
为了提高3G网络和WLAN之间认证的安全性和可靠性,实现两者之间的安全连接与通信,针对扩展认证密钥协商(EAP-AKA)协议存在的安全缺陷及现有一些改进方法的不足,提出了一种基于公钥密码体制的改进方案。在WLAN接入网和3G网络服务器之间增... 为了提高3G网络和WLAN之间认证的安全性和可靠性,实现两者之间的安全连接与通信,针对扩展认证密钥协商(EAP-AKA)协议存在的安全缺陷及现有一些改进方法的不足,提出了一种基于公钥密码体制的改进方案。在WLAN接入网和3G网络服务器之间增设公钥来实现两者的相互认证以及对用户身份等信息的加密传输,建立了共享密钥K的更新机制,运用串空间模型和认证测试方法对改进方案进行了相应的安全性分析和证明。分析结果表明,该方案具有良好的性能和安全性,可以实现3G网络和WLAN之间的安全认证与互联。 展开更多
关键词 第三代移动通信 无线局域网 扩展认证密钥协商协议 公钥 串空间模型 认证测试
在线阅读 下载PDF
一种安全有效的小公钥RSA加密协议及其应用 被引量:2
9
作者 丁宏 郭艳华 《小型微型计算机系统》 CSCD 北大核心 2003年第5期943-944,共2页
提出了一种采用小公钥的RSA加密协议.该协议允许多个用户都采用相同的小公钥,在对这些用户发送加密信息时,发方可根据要发送的用户数对小公钥进行动态放大,而每个接收者在解密时可根据私钥动态计算解密密钥.这样既提高了RSA的加密速度,... 提出了一种采用小公钥的RSA加密协议.该协议允许多个用户都采用相同的小公钥,在对这些用户发送加密信息时,发方可根据要发送的用户数对小公钥进行动态放大,而每个接收者在解密时可根据私钥动态计算解密密钥.这样既提高了RSA的加密速度,同时可抵御对RSA的低指数加密攻击. 展开更多
关键词 数据加密 公钥密码算法 公钥RSA加密协议 密码学 信息安全
在线阅读 下载PDF
基于辫子群上的公钥加密算法的Kerberos协议改进 被引量:1
10
作者 陈潇君 鞠时光 陈祖爵 《计算机工程与设计》 CSCD 北大核心 2009年第3期555-556,560,共3页
为提高Kerberos协议的安全性,引入了辫子群上非共轭变换和多变量方程组结合所构造的难解问题,提出了一种基于辫子群上的公钥加密算法的Kerberos协议和基于此协议的公钥体系KBGS(Kerberos on braid groups system),系统主要加强了客户和... 为提高Kerberos协议的安全性,引入了辫子群上非共轭变换和多变量方程组结合所构造的难解问题,提出了一种基于辫子群上的公钥加密算法的Kerberos协议和基于此协议的公钥体系KBGS(Kerberos on braid groups system),系统主要加强了客户和认证中心之间的通讯安全强度。安全性分析结果表明,改进后的Kerberos协议能抵御高强度的明文攻击,适用于量子计算机时代的公钥密码平台,更具安全性和实用性。 展开更多
关键词 辫子群 RSA 公钥加密 KERBEROS协议 身份认证
在线阅读 下载PDF
NS公钥认证协议的另一个改进方法 被引量:2
11
作者 任侠 吕述望 《计算机工程》 CAS CSCD 北大核心 2004年第16期12-13,共2页
将NS公钥认证协议解析为两个质询-应答型的单向认证子协议,并从消息方向标识缺失的角度对协议的设计缺陷进行了分析,在该基础上提出了针对NS公钥认证协议的另一种改进方法。
关键词 NS公钥认证协议 质询-应答 方向标识
在线阅读 下载PDF
单向函数在公钥认证协议中的作用 被引量:1
12
作者 赵华伟 李大兴 《计算机应用》 CSCD 北大核心 2005年第11期2509-2511,共3页
对认证协议进行了研究,指出采用保密服务是设计认证协议是一种安全服务的误用,存在两种潜在的安全隐患。针对带密钥的单向函数提出了一种扩展的BAN逻辑。利用该逻辑对两种改进的公钥认证协议进行形式化分析,说明带密钥的单向函数所提供... 对认证协议进行了研究,指出采用保密服务是设计认证协议是一种安全服务的误用,存在两种潜在的安全隐患。针对带密钥的单向函数提出了一种扩展的BAN逻辑。利用该逻辑对两种改进的公钥认证协议进行形式化分析,说明带密钥的单向函数所提供的两种安全服务能够保证公钥认证协议的安全。 展开更多
关键词 BAN逻辑 单向函数 公钥认证协议
在线阅读 下载PDF
公钥Kerberos协议的认证服务过程的建模与验证 被引量:1
13
作者 周倜 李梦君 李舟军 《计算机工程与科学》 CSCD 2008年第11期9-12,18,共5页
公钥Kerberos协议是目前广泛使用的一类认证协议。本文使用安全协议验证工具SPVT对公钥Kerberos协议(PKINIT)的认证服务过程进行了形式化的建模与验证。SPVT自动地检测出PKINIT存在一个中间人攻击,该攻击可使攻击者假冒密钥发布中心和... 公钥Kerberos协议是目前广泛使用的一类认证协议。本文使用安全协议验证工具SPVT对公钥Kerberos协议(PKINIT)的认证服务过程进行了形式化的建模与验证。SPVT自动地检测出PKINIT存在一个中间人攻击,该攻击可使攻击者假冒密钥发布中心和终端服务器,骗取用户信任,窃取重要数据。本文首次使用验证工具检测出公钥Kerberos协议的攻击,该攻击的自动检测对大型复杂协议的自动验证具有重大意义。借助于SPVT,人们能尽早发现协议缺陷。这充分说明,SPVT能够对大型复杂安全协议进行建模与验证,是一个有效的协议验证工具。 展开更多
关键词 公钥Kerberos协议 SPVT形式化建模 验证
在线阅读 下载PDF
一种基于公钥加密认证的新协议 被引量:1
14
作者 陈广辉 李方伟 段雪超 《电讯技术》 北大核心 2004年第5期69-72,共4页
给出了一个基于公开密钥加密的认证协议。该协议可以实现通信双方的相互认证,同时产生双方认可的会话密钥,并且会话密钥的产生不需要其他第三方的参与。经过性能分析,该认证协议结构简单,执行效率高。
关键词 公钥加密 会话密钥 认证协议 公开密钥加密 执行效率 性能分析 通信 第三方
在线阅读 下载PDF
XTR公钥密制的改进及可证明安全通信协议 被引量:4
15
作者 王泽辉 《通信学报》 EI CSCD 北大核心 2007年第1期22-27,共6页
提出一种新的迹函数,将基于3阶LFSR序列的XTR公钥密码体制(称之为XTR3体制),改进为基于4阶LFSR序列的XTR4公钥密码体制。与XTR3体制比较,同等安全程度下XTR4的密钥长度小于XTR3。提出XTR4体制上的密钥交换协议,可证明安全性保密通信协议... 提出一种新的迹函数,将基于3阶LFSR序列的XTR公钥密码体制(称之为XTR3体制),改进为基于4阶LFSR序列的XTR4公钥密码体制。与XTR3体制比较,同等安全程度下XTR4的密钥长度小于XTR3。提出XTR4体制上的密钥交换协议,可证明安全性保密通信协议,一次一密协议,可以应用于多种环境,既能保证安全性,又能显著地提高运算效率。 展开更多
关键词 公钥密码体制 XTR 迹函数 可证明安全性 通信协议 一次一密
在线阅读 下载PDF
基于多变量公钥密码系统的环机密交易协议 被引量:1
16
作者 洪璇 袁梦玲 《计算机科学》 CSCD 北大核心 2023年第S01期746-751,共6页
与比特币类似,门罗币也是一种加密货币。最初的门罗币是基于CryptoNote协议,该协议使用环签名和一次密钥来隐藏交易双方的真实身份,但是具体的交易金额却暴露在区块链中,存在一定的安全风险。为了解决这个安全漏洞,Shen Noether提出了... 与比特币类似,门罗币也是一种加密货币。最初的门罗币是基于CryptoNote协议,该协议使用环签名和一次密钥来隐藏交易双方的真实身份,但是具体的交易金额却暴露在区块链中,存在一定的安全风险。为了解决这个安全漏洞,Shen Noether提出了环机密交易协议(RingCT),利用一个随机数来隐藏真正的交易金额。目前门罗币社区使用的环机密交易协议是基于离散对数难题的。然而随着量子计算机的发展,基于传统数论问题的方案将变得不再安全,后量子方案是一个很好的替代选择。多变量公钥密码学是后量子密码的主要研究方向之一,并且相较于其他后量子密码方案,基于多变量的签名方案往往在签名和验证过程中计算速度快、所需计算资源少,具有很好的研究价值。在多变量环签名方案的基础上,设计了一个基于多变量的环机密交易协议。该协议利用多变量签名方案公钥的加法同态性实现了对交易金额的承诺,并对此承诺进行环签名,通过随机选择区块链中的用户公钥成环,来混淆交易中实际的交易参与者的身份。同时在交易产生过程中会利用交易者的私钥生成唯一一个key-image,并让其参与签名生成过程,成为签名的一部分,通过比对此部分可以有效防止交易双花。在随机预言机模型中证明了本文方案的安全性,并且相比基于格的后量子安全的环机密交易协议,所提方案在签名效率以及验证效率方面都更具优势。 展开更多
关键词 多变量公钥密码 后量子 环签名 环机密交易协议 同态承诺
在线阅读 下载PDF
基于SVO逻辑的公钥协议进化生成 被引量:1
17
作者 毛晨晓 罗文坚 +1 位作者 曹先彬 王煦法 《系统工程与电子技术》 EI CSCD 北大核心 2006年第3期439-443,共5页
提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所... 提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所生成公钥协议的安全性,并有效地提高协议效率和降低协议中消息的冗余度。 展开更多
关键词 安全协议 公钥密码体制 SVO逻辑 进化策略
在线阅读 下载PDF
一种基于公钥的低成本RFID双向认证协议 被引量:1
18
作者 魏丽丽 董庆宽 丁文秀 《电信科学》 北大核心 2013年第10期65-71,共7页
基于目前资源消耗最少的RFID公钥认证方案cryptoGPS协议,提出了一种低成本双向认证协议,采用有效的密钥管理方法、改进的快速Rabin加密算法、低汉明重量(LHW)模值以及轻量级流密码算法Grain V1,并设计使用新型低资源乘法器完成标签的大... 基于目前资源消耗最少的RFID公钥认证方案cryptoGPS协议,提出了一种低成本双向认证协议,采用有效的密钥管理方法、改进的快速Rabin加密算法、低汉明重量(LHW)模值以及轻量级流密码算法Grain V1,并设计使用新型低资源乘法器完成标签的大数模乘,在节省资源的同时克服了cryptoGPS密钥管理不灵活和认证单向性的缺点。安全性分析和基于Design Complier平台Smic 0.25μm工艺的仿真结果表明,该方案有足够的安全性且标签只需4 530个门即可完成双向认证,适用于资源受限的RFID系统。 展开更多
关键词 RFID 公钥密码 cryptoGPS 双向认证协议
在线阅读 下载PDF
基于公钥加密的安全多方求和协议 被引量:1
19
作者 王峥 郝林 刘义成 《计算机应用研究》 CSCD 北大核心 2017年第4期1133-1136,共4页
针对目前主要采用的安全多方求和协议通信复杂度高的问题,采用公钥加密技术和随机函数,提出一种既能进一步提高安全性,又能降低通信复杂度的协议,并证明了其正确性与安全性。通过与现有的协议分析比较可知,本协议在性能上具有较大优势。
关键词 安全多方计算 安全多方求和协议 公钥加密 随机函数 共谋
在线阅读 下载PDF
基于公钥的Kerberos认证协议改进与证明 被引量:1
20
作者 党继胜 汪学明 《计算机应用》 CSCD 北大核心 2006年第S2期78-81,85,共5页
分析了Kerberos的认证方案及其局限性,针对Kerberos公钥改进协议在公钥体制下计算量大以及时间戳具有同步缺陷的问题,通过比较系统数据库中存储的票据信息来判断时间新鲜性的改进方法,使系统的安全性与效率达到一个折中。
关键词 KERBEROS协议 身份认证 公钥 时间戳
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部