国家重点基础研究发展计划(G1999035803)
- 作品数：24 被引量：108H指数：6
- 相关作者：王育民王新梅吕继强郝艳华姜正涛更多>>
- 相关机构：西安电子科技大学电子科技大学卫士通信息产业股份有限公司更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家密码发展基金更多>>
- 相关领域：电子电信自动化与计算机技术生物学经济管理更多>>
- Rijndael S盒代数性质研究被引量：8
- 2003年
- 该文对Rijndael算法中为算法提供安全性的唯一非线性结构—S盒的代数性质进行了深入的研究,从S盒的七种重要代数性质考察了算法的安全性,并且采用插值法推导出了S盒的代数表达式,分析了S盒两种详细的代数结构,最后指出了算法中可能存在的安全隐患。
- 刘景伟韦宝典吕继强王新梅
- 关键词：RIJNDAEL算法S盒线性密码分析差分密码分析多输出布尔函数
- AESS盒的密码特性分析
- 本文采用一种新的且简单通用的方法——拉格朗日插值法推导出了AES S盒的代数表达式,给出了S盒两种详细的代数结构;并且对AESS盒的密码特性进行了深入分析,计算并证明了S盒的八种代数性质。
- 刘景伟韦宝典吕继强王新梅
- 关键词：AES算法S盒差分密码分析线性密码分析多输出布尔函数
- 文献传递
- 串空间模型的原理与应用被引量：3
- 2005年
- 介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
- 谭立力刘璟谢鸿波谭兴烈
- 关键词：密码协议串空间CCITT
- 一个基于移动代理的优化支付协议被引量：1
- 2005年
- 移动代理是能在异构网络中漫游的一种软件实体,它极大地改善了分布式系统的性能,被认为在未来的电子商务中必将起到很重要的作用·然而,许多新的安全问题也随之而来·这些安全问题已被看做是移动代理技术得到更广泛应用的主要障碍之一·利用可验证秘密共享和正交验证理论,提出了一个基于移动代理的优化支付协议·协议提供了很好的安全性·同时,在不泄露所购买商品的情况下,能够使移动代理对所购买商品进行验证·另外,最小限度地使用了可信任第3方,除非出现欺诈行为或者协议提前终止,否则可信任的第3方为脱线运行·
- 柳毅庞辽军王育民
- 关键词：移动代理可验证秘密共享脱线
- 求S盒布尔函数表达式的一种新算法
- 本文提出一种求S盒布尔函数表达式的新递归算法,具有简洁、易于编程实现、准确而快速的特点。算法中只进行异或和内积运算,运算次数少,应用于DES获得与公开文献相符的结果,应用于AES首次求出其S盒的布尔函数表达式。
- 韦宝典刘景伟王新梅
- 关键词：S盒布尔函数递归DESAES
- 文献传递
- AES S盒的密码特性分析被引量：22
- 2004年
- 作为大多数分组密码中惟一的非线性结构,S盒在很大程度上决定了分组密码的安全性.文中对AESS盒的密码性质进行了深入的分析,采用一种新的且简单通用的方法———拉格朗日差值法推导出了S盒的代数表达式,计算并证明了S盒的平衡性、严格雪崩准则、差分均匀度、代数次数等8种代数性质.
- 刘景伟韦宝典吕继强王新梅
- 关键词：数据加密标准AES算法S盒差分密码多输出布尔函数
- 指名签名与指名代理签名被引量：10
- 2004年
- 该文分别对一个指名签名方案(KPW方案)和一个指名代理签名方案(PL方案)进行分析,结果表明;在KPW方案中签名人不仅能验证而且也能向第三方证明签名的有效性,甚至能将签名转化为通常的自认证签名,因此不是指名签名方案;在PL方案中任何人都可验证签名的有效性,它只是一个自认证签名方案.该文进一步给出了KPW方案的一个改进方案,使之具有指名签名的全部性质,同时也给出了一个基于该方案的指名代理签名方案.
- 黄振杰郝艳华王育民
- 关键词：数字签名
- 授权群签名被引量：21
- 2004年
- 现有的群签名方案都假设所有成员拥有相同的权限 ,不适用于成员权限不同的情形 ,该文提出授权群签名的概念 ,并给出一个具体的授权群签名方案 .该文通过在一般群签名上增加一个负责授权的权限管理员和一个授权过程来达到授权群签名 .在所给出的授权群签名方案中 ,签名人必须同时使用私钥和授权证书才能签名 ,因此只能按所授的权限签名 ,验证人则可通过权限公开证书对授权进行验证 .
- 黄振杰郝艳华王育民
- 关键词：数字签名群签名匿名性
- 一种改进的具有潜信道的签名(英文)被引量：3
- 2004年
- 对具有潜信道的Jan Tseng签名方案进行了安全分析 ,并指出Jan Tseng签名的第二种方案具有广义伪造性且不能抵制勾结攻击 .最后 ,给出了一种改进的具有潜信道的签名方案 .
- 张键红伍前红王继林王育民
- 一种安全协议的组合分析模型研究被引量：1
- 2008年
- 在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.
- 谢鸿波吴远成刘一静周明天
- 关键词：知识推理形式化分析
