国家重点基础研究发展计划(G1999035803)

作品数：24被引量：73H指数：5
导出分析报告
相关作者：王育民王新梅吕继强郝艳华姜正涛更多>>
相关机构：西安电子科技大学电子科技大学卫士通信息产业股份有限公司重庆通信学院更多>>
相关期刊：《西安电子科技大学学报》《华南理工大学学报（自然科学版）》《计算机工程与应用》《电子学报》更多>>
相关主题：数字签名S盒多输出布尔函数签名RIJNDAEL更多>>
相关领域：电子电信自动化与计算机技术生物学经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种安全协议的组合分析模型研究被引量：1
《电子学报》2008年第11期2262-2267,共6页谢鸿波 吴远成 刘一静 周明天 
电子科学基金(No.514500101DZ02);国家重点基础研究发展规划项目(No.G1999035803)
在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏...
关键词：知识推理 进程演算 形式化分析 安全属性 
一种新的等价于大整数分解的公钥密码体制研究被引量：1
《电子与信息学报》2008年第6期1450-1452,共3页姜正涛 张京良 王育民 
中国博士后科学基金项目(20060400035);国家自然科学基金重点项目(69931010);国家973计划(G1999035803)资助课题
在弱的安全假设下构造可证明安全的密码体制原型可以有效提高密码体制的安全性,该文对用Lucas序列构造公钥密码体制做进一步研究,给出一种新的可证明安全的密码体制原型,该密码体制的加、解密效率比现有的LUC密码体制效率高,并证明它的...
关键词：公钥加密体制 LUCAS序列 Lucas二次(非)剩余 整数分解 签名 
基于消息唯一起源的动态逻辑方法
《电子学报》2007年第8期1516-1520,共5页谢鸿波 吴远成 周明天 
电子科学基金(No.514500101DZ02);国家973重点基础研究发展规划(No.G1999035803)
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑"理想化协议"步骤的缺陷,提出了消息唯一起源的概念和判定规则,严格区分"可靠信任"和"不可靠信任",解决了"相信事情的发生...
关键词：协议分析 动态逻辑 类BAN逻辑 
Yahalom协议的串空间模型及分析被引量：5
《小型微型计算机系统》2006年第5期788-792,共5页刘璟 祝世雄 周明天 
国家"九七三"重点基础研究发展规划项目:信息与网络安全体系研究--密钥管理系统项目(G1999035803)资助
作为一种用来分析密码协议的最具代表性的定理证明技术,串行空间理论已被成功地用来分析许多典型的密码协议.其理论中的理想和诚实两个概念的提出更是大大简化了一类密码协议的证明步骤.首次利用串空间理论从机密性和鉴别两个方面对Gavi...
关键词：密码协议 Yahalom协议 串空间 
一种改进的基于辫群的签名体制被引量：8
《西安电子科技大学学报》2006年第1期50-52,61,共4页丁勇 田海博 王育民 
国家973项目(G1999035803)
提出改进共轭签名体制.基于简单共轭签名体制和共轭签名体制,利用辫群左子群和右子群元素的可交换性,结合随机化因子b,得到了新的共轭签名体制.分析表明该体制不但解决了k-CSP问题,并且与共轭签名体制相比节省了运算次数和通信带宽.
关键词：辫群 签名 k—CSP问题 
Koblitz曲线中标量乘法的快速计算方法
《西北大学学报（自然科学版）》2005年第6期699-702,共4页丁勇 李新国 王育民 
国家"973"基金资助项目(G1999035803)
目的快速计算椭圆曲线密码体系中的标量乘法kP。方法以τ2为基底取代RTNAF(Reducedτ-adic non-adjacent form)中的基底τ,提出了一种标量k的RTSNAF(Reducedτ2-adic non-adjacent form)分解。结果证明了该分解的存在性和惟一性;给出了...
关键词：RTNAF 标量乘法 KOBLITZ曲线 
一个军网身份鉴别协议的形式化分析及修正
《计算机工程与应用》2005年第30期122-124,共3页刘璟 祝世雄 周明天 
国家973重点基础研究发展规划项目:信息与网络安全体系研究-密钥管理系统(编号:G1999035803)
分别使用形式化分析工具Casper+FDR和OFM C模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例。同时指出了文[1]和文[2]中存在的几个谬误。然后对协议进行了修正。形式化验证结果表明修正后的协议是安...
关键词：身份鉴别协议 形式化分析 
一个基于移动代理的优化支付协议被引量：1
《计算机研究与发展》2005年第10期1686-1691,共6页柳毅 庞辽军 王育民 
国家自然科学基金项目(19931010);国家"九七三"重点基础研究发展规划基金项目(G1999035803)
移动代理是能在异构网络中漫游的一种软件实体,它极大地改善了分布式系统的性能,被认为在未来的电子商务中必将起到很重要的作用·然而,许多新的安全问题也随之而来·这些安全问题已被看做是移动代理技术得到更广泛应用的主要障碍之一...
关键词：移动代理 优化支付协议 可验证秘密共享 正交验证理论 脱线 
串空间模型的原理与应用被引量：2
《计算机应用》2005年第8期1747-1749,1752,共4页谭立力 刘璟 谢鸿波 谭兴烈 
现代通信国家重点实验室基金资助项目(51436040305DZ4001);国家重点基础研究发展规划资助项目(G1999035803)
介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
关键词：密码协议 串空间 CCITT X.509协议 
基于可验证秘密分享的移动代理安全支付协议被引量：5
《华南理工大学学报（自然科学版）》2005年第6期14-17,共4页柳毅 许文丽 王育民 
国家自然科学基金重点资助项目(19931010);国家973科技攻关项目(G1999035803)
移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议...
关键词：可验证秘密分享 移动代理 支付协议 不可否认性 运行效率 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部