密码协议

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有条件容忍入侵的数字签名协议被引量：1
《计算机工程与应用》2013年第1期82-85,共4页米军利 谢淑翠 张建中 
国家自然科学基金(No.31270577);陕西省教育厅科学研究计划(自然科学项目)(No.2010JK829);徐州工程学院校科研项目(No.XKY2011101;No.XKY2011203)
基于新的(t,n)秘密共享机制将CA私钥进行分存,使用其身份作为私钥份额的标识,提供私钥保护的容侵性。该协议不是从保护系统或检测入侵出发来保证CA的安全,而是确保当少数部件被攻击或占领后,CA系统的机密信息并没有暴露;能根据攻击的类...
关键词：认证机构(CA) 容忍入侵 秘密分享 密码协议 网络安全 
Yahalom-Paulson协议的串空间模型与分析被引量：4
《计算机工程与应用》2008年第22期97-99,103,共4页丁萌伟 周清雷 赵东明 
国家自然科学基金No.69873040~~
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。
关键词：密码协议 Yahalom—Paulson协议 串空间 理想 
基于ECDLP的高效承诺方案
《计算机工程与应用》2008年第3期136-138,共3页赖欣 喻秀英 何大可 
国家部委科技重点实验室基金
承诺方案不仅是许多密码协议中的核心部分,同时也被直接使用于远程电子投票、电子选举、电子拍卖等场合。提出一个基于椭圆曲线离散对数困难问题的承诺方案,该方案不需要在参与方之间进行信息交互,并通过执行一轮承诺阶段和公开承诺阶...
关键词：密码协议 承诺方案 椭圆曲线离散对数问题 隐藏性 绑定性 
密码协议形式化分析的计算合理性被引量：1
《计算机工程与应用》2007年第21期8-11,共4页王全来 王亚弟 韩继红 
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.TG1999035801)。
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法...
关键词：形式化方法 计算方法 合理性定理 密码协议分析 
一种基于扩展Spi演算的类型系统
《计算机工程与应用》2007年第3期131-134,138,共5页袁霖 王亚弟 韩继红 
主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规...
关键词：类型系统 密码协议 保密性 类型规则 
基于有色Petri网的一种密码协议的描述和分析被引量：1
《计算机工程与应用》2006年第23期106-108,共3页罗志宏 王常吉 朱思铭 
国家自然科学基金资助项目(编号:60503005)
Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。
关键词：有色PETRI网 密码协议 描述和分析 
网络认证协议攻击的非形式化分析被引量：3
《计算机工程与应用》2006年第22期112-115,142,共5页李静 肖美华 
江西省自然科学基金资助项目(编号:0411041);江西省教育厅科技计划资助项目(编号:200543);南昌大学2003;2004年度科研基金资助项目
随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个...
关键词：认证协议 密码协议 非形式化方法 
加密模式与密码协议的安全性
《计算机工程与应用》2006年第5期125-126,130,共3页王滨 张少武 马智 
国家自然科学基金资助项目(编号:60403004)
密码协议的设计和安全性分析是困难的,在密码协议中总是以所使用的密码算法是安全的为前提,但是人们却忽略了密码算法的加密模式对密码协议安全性的影响。论文针对一个改进的Needham-Schroeder协议,假设其使用了分组密码的CBC加密模式,...
关键词：密码协议 CBC模式 Needham—Schroeder认证协议 
链空间方法在密码协议设计中的应用被引量：1
《计算机工程与应用》2005年第5期92-95,共4页邓淼磊 周保群 熊选东 
设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法究同步发展。文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个于公钥密码体制的协议PCP。
关键词：密码协议 协议设计 链空间 认证测试 
交叉协议安全性分析被引量：1
《计算机工程与应用》2004年第33期173-175,共3页孙海波 林东岱 李莉 
国家自然科学基金(编号:60373048);国家自然科学基金(编号:NSFC90204016);国家863高技术研究发展计划课题(编号:2003AA144030)
串空间理论是一种新兴的用于密码协议形式化分析的方法。该文将利用串空间理论对交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性。
关键词：串空间 密码协议 交叉协议 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部