密码协议

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
时间相关密码协议逻辑及其形式化语义被引量：1
《软件学报》2011年第3期534-557,共24页雷新锋 刘军 肖军模 
国家自然科学基金(60873260;60903210);国家高技术研究发展计划(863)(2009AA01Z414);国家重点基础研究发展计划(973)(2007CB311202);江苏省自然科学基金(BK2008090)
在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该逻辑基于谓词模态逻辑,通过在谓词及模态词中引入时间参数以体现时间因素,使得逻辑可表达各个主体在协议...
关键词：密码协议 时间相关 谓词模态逻辑 形式化语义 
密码协议分析的信任多集方法被引量：5
《软件学报》2009年第11期3060-3076,共17页董玲 陈克非 来学嘉 
国家自然科学基金No.90704004;国家高技术研究发展计划(863)Nos.2006AA01Z422; 2009AA01Z418~~
提出了一种基于逻辑的信任多集方法,它与已有的密码协议安全性分析方法本质上不同:每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身.在基于匹配对话和不可区分性的计算模型下,...
关键词：密码协议 安全性分析 形式化方法 自动化 
一种改进的密码协议形式化模型被引量：3
《软件学报》2007年第7期1746-1755,共10页张畅 王亚弟 韩继红 郭渊博 
国家自然科学基金Nos.60503012;90104005;90204012
多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明...
关键词：密码协议 秘密性 认证性 形式化验证 
基于理想的协议安全性分析被引量：3
《软件学报》2005年第12期2150-2156,共7页孙海波 林东岱 李莉 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结...
关键词：串空间 密码协议 理想 
密码协议的一种安全模型(英文)
《软件学报》2003年第6期1148-1156,共9页刘怡文 李伟琴 冯登国 
国家重点基础研究发展规划(973)~~
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、...
关键词：协议验证 安全模型 模型检查 组合推理 
认证协议的一些新攻击方法被引量：24
《软件学报》2001年第6期907-913,共7页王贵林 卿斯汉 周展飞 
国家自然科学基金资助项目 (6 0 0 830 0 7)&&
给出了针对 3个认证协议的 6种新攻击方法 ,分析了这些攻击产生的原因 。
关键词：认证协议 协议攻击 密码协议 密码学 通令协议 
公平的非否认密码协议及其形式分析与应用被引量：18
《软件学报》2000年第12期1628-1634,共7页李先贤 怀进鹏 
国家自然科学基金资助项目(69775015);国家863高科技项目基金资助项目(863-306-02-01)
在安全数据通信中 ,数据发送和接收的非否认性是一个极为重要的问题 .近年来 ,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送 ,因而 ,可信第三方的可靠性和安全性是系统性能的瓶颈 .提出了一个公平的双方不可否认的...
关键词：数字签名 非否认密码协议 公钥体制 私钥体制 信任逻辑 
类BAN逻辑基本模型及缺陷被引量：5
《软件学报》2000年第12期1660-1665,共6页许剑卓 戴英侠 左英男 
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并...
关键词：密码协议 BAN逻辑 缺陷 
防欺诈的二方共享RSA密钥被引量：6
《软件学报》2000年第10期1344-1347,共4页王宏 肖鸿 肖国镇 
国家自然科学基金!(No.696730 2 5 )
二方共享 RSA密钥产生协议是很重要的一个密码协议 ,在密钥托管及其他许多方面都有重要的应用 .Niv Gilboa提出了一个二方共享 RSA密钥产生协议 ,其效率较高 ,但不能防止任何一方恶意欺骗 .基于该协议 ,给出了一个能防欺诈的二方共享 RS...
关键词：门限密码学 二方共享RSA密钥 密码协议 
Needham-Schroeder公钥协议的模型检测分析被引量：29
《软件学报》2000年第10期1348-1352,共5页张玉清 王磊 肖国镇 吴建平 
国家自然科学基金!(No.696730 2 5 )
密码协议安全性的分析是当前网络安全研究领域的一个世界性难题 .提出了运用模型检测工具 SMV( symbolic model verifier)分析密码协议的方法 ,并对著名的 Needham- Schroeder( NS)公钥协议进行了分析 .分析结果表明 ,入侵者可以轻松地...
关键词：模型检测 密码协议 网络安全 NS公钥协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部