密码协议

作品数：270被引量：695H指数：11
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：王亚弟张玉清肖国镇韩继红陈克非更多>>
相关机构：解放军信息工程大学西安电子科技大学上海交通大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=通信学报x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向密码协议在线安全性的监测方法被引量：2
《通信学报》2016年第6期75-85,共11页朱玉娜 韩继红 袁霖 范钰丹 陈韩托 谷文 
国家自然科学基金资助项目(No.61309018)~~
为解决现有方法无法在线监测协议逻辑进行的低交互型攻击的问题,提出一种密码协议在线监测方法CPOMA。首先构建面向密码协议的特征项本体框架,以统一描述不同类型的特征项,并基于该框架首次利用模糊子空间聚类方法进行特征加权,建立个...
关键词：密码协议识别 会话重构 在线安全性 本体 子空间聚类 
计算可靠的Diffie-Hellman密钥交换协议自动证明被引量：14
《通信学报》2011年第10期118-126,共9页冯超 张权 唐朝京 
国家自然科学基金资助项目(60872052)~~
针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVerif的验证能力。发现了对公钥Kerberos协议自动证明中敌手能力模型的缺陷,并提出了修正方法。利用扩展的Cr...
关键词：密码协议 Diffie-Hellman原语 KERBEROS协议 自动化证明 
运行模式法分析密码协议实例研究
《通信学报》2005年第B01期129-132,共4页王春玲 唐志坚 张玉清 薛纪文 
在介绍两方密码协议运行模式分析法的基础上，运用运行模式分析法对自行设计的TW两方密码协议进行了分析，成功地发现了TW协议的攻击，并验证了此协议的安全性，说明了两方密码协议运行模式分析法的有效性。
关键词：密码协议 形式化分析 运行模式 
使用构造类别代数描述和验证密码协议
《通信学报》2004年第3期91-96,共6页刘政 赵保华 屈玉贵 
自然科学基金重大计划资助项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金项目(2000035802);国家"973"计划项目(2003-7);国家"863"基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支持资助项目(院基计字90
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议...
关键词：密码协议 构造类别代数 形式化描述 协议验证 
密码协议的一种基于组合推理的模型验证被引量：2
《通信学报》2003年第9期122-127,共6页刘怡文 李伟琴 冯登国 
国家"973"基金资助项目(G1999035802)
将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型...
关键词：密码协议 形式化模型 组合推理 模型检查 
基于GF(q)上纠错码的生成矩阵的验证方案
《通信学报》2002年第12期30-35,共6页杜伟章 王新梅 
高等学校博士学科点专项基金资助项目(98070104);国家自然科学基金资助项目(69973031)
基于GF(q)上纠错码的生成矩阵提出了一身份验证方案,证明了在随机预言模型中给出的协议是一零知识交互证明,并显示出通过参数的适当选取,此方案是安全的。
关键词：验证方案 生成矩阵 纠错码 零知识 密码协议 
国内外密码学研究现状及发展趋势被引量：136
《通信学报》2002年第5期18-26,共9页冯登国 
国家973基金资助项目(G1999035802);国家杰出青年基金资助项目(60025205)
本文概括介绍了国内外密码学领域的研究现状,同时对其发展趋势进行了分析。
关键词：密码学 研究现状 发展趋势 密码算法 密码协议 信息隐藏 量子密码 
一种有效的比特承诺方案被引量：7
《通信学报》2000年第2期78-80,共3页郑东 陈克非 谷大武 尤晋元 
国家自然科学基金资助项目!(6 97730 31;6 99730 31);86 3计划课题!(86 3 30 6 ZT0 2 0 6 3)
本文给出了一种基于子集和问题的比特承诺方案 ,该方案的优点是接受者Bob不需要向承诺者Alice发送任何消息 ,其安全性是基于子集和问题的困难性。此方案的另一个优点是 :它对承诺一个bit或承诺多个bit都是有效的。
关键词：安全性 密码协议 比特承诺方案 
口令认证方案的安全性改进及其相应的数字签名方案被引量：4
《通信学报》1998年第6期61-64,共4页祁明 肖国镇 
广东省自然科学基金
本文首先利用离散对数和分子因解问题提出了许多口令认证方案。其次建立并分析了三个新型数字签名方案。
关键词：口令认证 数字签名 密码协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部