期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
密码协议的SPIN建模和验证 被引量：4
1
作者 邵晨曦 胡香冬 +1 位作者 熊焰 蒋凡 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2099-2101,共3页
为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为... 为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值. 展开更多
关键词 密码 验证 模型检测 BAN-Yahalom协议 SPIN 计算机网络
在线阅读 下载PDF
密码学可靠的不可否认协议辅助验证方法
2
作者 冯超 陈岳兵 +1 位作者 张权 唐朝京 《通信学报》 EI CSCD 北大核心 2011年第3期18-26,共9页
提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择... 提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择明文攻击下的不可区分性和明文完整性,且数字签名算法满足选择消息攻击的不可伪造性的条件下,Zhou-Gollmann协议具有公平性和不可否认性。与现有方法相比,既能有效利用辅助工具的自动验证能力,又能弥补其验证能力的不足,提高了验证效率和验证结果的可靠性。 展开更多
关键词 不可否认协议 计算模型 密码学可靠性 辅助验证
在线阅读 下载PDF
使用构造类别代数描述和验证密码协议
3
作者 刘政 赵保华 屈玉贵 《通信学报》 EI CSCD 北大核心 2004年第3期91-96,共6页
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议... 密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用,说明了这是一种解决密码协议描述和验证的行之有效的方法。 展开更多
关键词 密码协议 构造类别代数 形式化描述 协议验证
在线阅读 下载PDF
一种用于密码协议形式化验证的简单逻辑
4
作者 陈玉涛 贾步忠 《电子科技》 2005年第5期21-24,共4页
给出了一个可用于密码协议形式化验证与设计的简单逻辑。该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理。
关键词 密码协议 形式化验证 协议设计 SVD逻辑 通道
在线阅读 下载PDF
铁路信号安全通信协议中消息验证码算法的安全性分析和改进 被引量：7
5
作者 张淼 耿宏亮 《铁路通信信号工程技术》 2014年第6期4-7,17,共5页
通过比较TDES算法与AES和SM4算法,分析铁路信号安全通信协议(RSSP-II)中消息验证码(MAC)算法的安全性弱点,提出采用以AES和SM4为核心的MAC改进算法,并对改进的算法进行半实物仿真实验。分析和实验结果证明:改进后的算法具有更高的实时性。
关键词 铁路信号安全通信协议 对称加密算法 消息验证码 三重DES加密算法 高级加密算法 SM4分组密码算法
在线阅读 下载PDF
快速身份验证协议概述 被引量：1
6
作者 马敏 吴秋新 《数字技术与应用》 2016年第3期211-212,共2页
为了解决目前在线用户进行身份验证时,选择的验证方式在可用性和安全性难以权衡的问题,FIDO联盟提出了去密码化的强认证安全协议——FIDO协议。它的特点是用户可以不用使用密码进行登录,让用户从复杂的密码中摆脱出来,且保护用户隐私。... 为了解决目前在线用户进行身份验证时,选择的验证方式在可用性和安全性难以权衡的问题,FIDO联盟提出了去密码化的强认证安全协议——FIDO协议。它的特点是用户可以不用使用密码进行登录,让用户从复杂的密码中摆脱出来,且保护用户隐私。本文通过研究FIDO认证系统的工作原理,分析了FIDO协议工作流程,阐述了协议的应用。 展开更多
关键词 验证 FIDO协议 密码
在线阅读 下载PDF
SM4分组密码算法在RSSP-Ⅱ铁路信号安全通信协议中的应用 被引量：3
7
作者 左林 刘贞 王一民 《铁路通信信号工程技术》 2020年第8期24-27,共4页
RSSP-II铁路信号安全通信协议是铁路信号领域的安全软件产品。目前,其使用的加密算法为3DES算法,可防护数据在传输过程中的损坏、伪装等安全风险。为实现技术自主可控、增强核心竞争力,提出采用中国国家标准SM4分组密码算法代替既有的3... RSSP-II铁路信号安全通信协议是铁路信号领域的安全软件产品。目前,其使用的加密算法为3DES算法,可防护数据在传输过程中的损坏、伪装等安全风险。为实现技术自主可控、增强核心竞争力,提出采用中国国家标准SM4分组密码算法代替既有的3DES算法,并进行仿真和实物测试验证。 展开更多
关键词 铁路安全通信协议 数据加密标准 消息验证码 SM4分组密码算法
在线阅读 下载PDF
基于F_G(q)上纠错码的校验矩阵的验证方案 被引量：1
8
作者 杜伟章 王新梅 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1999年第5期552-557,共6页
Ｊ．Ｓｔｅｒｎ 在“公钥验证的一个新范例”中基于ＦＧ（２） 上纠错码的校验矩阵提出了一个验证方案，该文将其加以推广，给出了基于ＦＧ（ｑ） （ｑ 为素数）上纠错码的校验矩阵的一个新验证方案，将Ｊ．Ｓｔｅｒｎ 的方案中对秘密... Ｊ．Ｓｔｅｒｎ 在“公钥验证的一个新范例”中基于ＦＧ（２） 上纠错码的校验矩阵提出了一个验证方案，该文将其加以推广，给出了基于ＦＧ（ｑ） （ｑ 为素数）上纠错码的校验矩阵的一个新验证方案，将Ｊ．Ｓｔｅｒｎ 的方案中对秘密数据ｓ 的重量限制改为对ｓ的码元分布情况的限制；证明了在随机预言模型中给出的协议是零知识交互证明，并显示出通过参数的适当选取，此方案比Ｊ．Ｓｔｅｒｎ 的方案更安全． 展开更多
关键词 验证方案 校验矩阵 纠错码 密码协议
在线阅读 下载PDF
基于GF(q)上纠错码的生成矩阵的验证方案
9
作者 杜伟章 王新梅 《通信学报》 EI CSCD 北大核心 2002年第12期30-35,共6页
基于GF(q)上纠错码的生成矩阵提出了一身份验证方案,证明了在随机预言模型中给出的协议是一零知识交互证明,并显示出通过参数的适当选取,此方案是安全的。
关键词 验证方案 生成矩阵 纠错码 零知识 密码协议
在线阅读 下载PDF
提升WiFi用户认证感知度 被引量：3
10
作者 林蓉 《电信快报（网络与通信）》 2013年第5期14-16,43,共4页
探讨运营商级别的无线WiFi网络通信认证能力提升。对用户行为进行分析,改造认证逻辑流程,提升系统运行效率,主要从Portal合法性校验、预认证接口过滤引导用户自助服务、使用内存认证方式提升AAA(认证、授权、计费)系统性能、无感知认证... 探讨运营商级别的无线WiFi网络通信认证能力提升。对用户行为进行分析,改造认证逻辑流程,提升系统运行效率,主要从Portal合法性校验、预认证接口过滤引导用户自助服务、使用内存认证方式提升AAA(认证、授权、计费)系统性能、无感知认证技术PEAP(可扩展认证机制)等几个方面提升WiFi用户认证的感知度,为建设智慧城市,方便民生,提高城市服务功能提供有效支撑。 展开更多
关键词 Portal BRAS(宽带接入服务器) RADIUS(远程用户拨号认证系统) CHAP(质询握手验证协议) pap(密码验证协议) AAA PEAP WAF(Web应用防护系统)
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部