密码协议

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
密码协议代码执行的安全验证分析综述被引量：9
《计算机学报》2018年第2期288-308,共21页张焕国 吴福生 王后珍 王张宜 
国家自然科学基金(613030212;61202385);国家自然科学基金重点项目(61332019);国家"九七三"重点基础研究发展规划项目基金(2014CB340600)资助~~
密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时...
关键词：密码协议 模型 代码 执行 安全验证 
基于Petri网的密码协议形式化建模被引量：1
《计算机科学》2012年第8期70-74,共5页白云莉 叶新铭 
国家自然科学基金项目(61163011);国家重点基础研究发展规划(973)项目(2007CB310702);内蒙古自然科学基金重点项目(20080404ZD20)资助
密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信...
关键词：密码协议 TMN CPN 多次并发会话 
时间相关密码协议逻辑及其形式化语义被引量：1
《软件学报》2011年第3期534-557,共24页雷新锋 刘军 肖军模 
国家自然科学基金(60873260;60903210);国家高技术研究发展计划(863)(2009AA01Z414);国家重点基础研究发展计划(973)(2007CB311202);江苏省自然科学基金(BK2008090)
在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该逻辑基于谓词模态逻辑,通过在谓词及模态词中引入时间参数以体现时间因素,使得逻辑可表达各个主体在协议...
关键词：密码协议 时间相关 谓词模态逻辑 形式化语义 
基于细粒度新鲜性的密码协议分析
《北京大学学报（自然科学版）》2010年第5期763-770,共8页程正杰 陈克非 来学嘉 
国家自然科学基金(60973111;60903189);国家高技术研究发展计划专项经费(2009AA01Z418);国家重点基础研究发展计划项目(2007CB311201)资助
对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析...
关键词：密码协议 新鲜性 秘密性 
密码协议形式化分析的计算合理性被引量：1
《微计算机信息》2007年第24期50-52,共3页王全来 王亚弟 韩继红 
国家973重点基础研究发展规划资助项目(TG1999035801)
基于Abadi-Rowgaway的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文提出了群密钥分配协议的形式化方法与...
关键词：形式化方法 计算方法 合理性定理 密码协议分析 
密码协议形式化分析的计算合理性被引量：1
《计算机工程与应用》2007年第21期8-11,共4页王全来 王亚弟 韩继红 
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.TG1999035801)。
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法...
关键词：形式化方法 计算方法 合理性定理 密码协议分析 
现代密码算法研究被引量：5
《中兴通讯技术》2007年第5期1-5,共5页郑世慧 
国家重点基础研究发展规划项目(973计划)(No.2007CB311203)
密码技术是信息安全的核心技术。密码技术主要包括对称密码算法和非对称密码算法及协议。对称加密算法加密密钥和解密密钥相互推导容易,加/解密速度非常快,适用于大批量数据加密的场合。非对称密钥密码体制从私有密钥推导公开密钥是计...
关键词：分组密码 流密码 HASH函数 非对称密码 密码协议 
一种基于问题求解理论的密码协议形式模型
《计算机应用》2007年第2期303-307,共5页赵宇 王亚弟 韩继红 范钰丹 赵琦 
国家973计划项目资助(TG19990358.01)
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;...
关键词：密码协议 形式模型 问题求解理论 ρ演算 运算语义 
Yahalom协议的串空间模型及分析被引量：5
《小型微型计算机系统》2006年第5期788-792,共5页刘璟 祝世雄 周明天 
国家"九七三"重点基础研究发展规划项目:信息与网络安全体系研究--密钥管理系统项目(G1999035803)资助
作为一种用来分析密码协议的最具代表性的定理证明技术,串行空间理论已被成功地用来分析许多典型的密码协议.其理论中的理想和诚实两个概念的提出更是大大简化了一类密码协议的证明步骤.首次利用串空间理论从机密性和鉴别两个方面对Gavi...
关键词：密码协议 Yahalom协议 串空间 
基于理想的协议安全性分析被引量：3
《软件学报》2005年第12期2150-2156,共7页孙海波 林东岱 李莉 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结...
关键词：串空间 密码协议 理想 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部