国家高技术研究发展计划(2005AA147090)
- 作品数：4 被引量：19H指数：3
- 相关作者：蔡永泉朱勇靳岩岩赵磊晏翔更多>>
- 相关机构：北京工业大学更多>>
- 发文基金：国家高技术研究发展计划北京市教委科技发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种安全高效的弹性CA方案
- 2006年
- CA(certificate authority)作为在线用户提供认证服务的中心,如何安全高效地为注册用户颁发数字证书便成为一个非常重要的课题.以Nyberg-Ruepple签名体制为基础,结合门限密码学相关理论,提出了一种基于ECC的门限数字签名方案,并研究了该方案在构建入侵容忍的弹性CA中的应用.对比现有的弹性CA方案,分析显示了新方案在安全性和计算效率方面所具有的良好性能.
- 蔡永泉晏翔
- 关键词：入侵容忍CA
- 基于有限域GF（2^n）上圆锥曲线的公钥密码算法被引量：12
- 2006年
- 圆锥曲线密码学是一种新型的公钥密码学,迄今对圆锥曲线密码学的研究成果都是以有限域GF(p)上的圆锥曲线为基础的.本文将有限域GF(p)上的圆锥曲线C(GF(p))推广为有限域GF(2n)上的圆锥曲线C(GF(2n)),证明了圆锥曲线C(GF(2n))上的点和加法运算构成有限交换群(C(GF(2n)),),并给出了圆锥曲线群(C(GF(2n)),)的阶的计算.此外,提出了使用有限域GF(2n)上的圆锥曲线群构造公钥密码系统,并给出了E lGam al加密方案和数字签名算法(DSA)在圆锥曲线C(GF(2n))上模拟的算法,最后分析其安全性.
- 蔡永泉赵磊靳岩岩
- 关键词：圆锥曲线公钥加密数字签名
- 一种改进的A(0)协议及其形式化分析被引量：3
- 2006年
- 针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。
- 蔡永泉朱勇
- 关键词：安全协议形式化分析
- Zhou-Gollmann非否认协议的分析与改进被引量：4
- 2007年
- 以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性、公平性和时限性,而且具有实现简单、执行效率高、可信第三方负担轻等特点。
- 蔡永泉朱勇
- 关键词：非否认协议电子商务可追究性
