国家高技术研究发展计划(2001AA141010)
- 作品数:29 被引量:121H指数:6
- 相关作者:陈建华苏桂平吕述望汪朝晖夏静波更多>>
- 相关机构:武汉大学中国科学院研究生院大连大学更多>>
- 发文基金:国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信理学机械工程更多>>
- 一种信息安全系统中序列随机性检验方法被引量:13
- 2006年
- 把Fourier分析理论用于信息安全系统中序列随机性的检验中,提出了一种新的随机性检验方法,该方法可以用随机序列发生器产生序列的随机性检测,也可以用于检验密码算法的安全性。
- 苏桂平刘争春姚旭初殷学文
- 关键词:FOURIER分析密码技术
- 模型驱动的构件组装的研究与实现被引量:1
- 2009年
- 构件组装是提高软件开发效率与产品质量的有效途径。本文在深入研究构件组装与DSM以及代码生成等技术后,提出一种普适性的构件组装机制,建立起构件与连接件元模型,并对它们的性质进行了归纳总结,在此基础之上建立起元模型的实现,并介绍了以构件与连接件元模型为输入,通过GMF快速配置生成构件组装建模工具的过程。最后,提出一种代码模板制作与代码生成的方法与实现,并介绍了通过构建组装模型与代码模板生成完整的可运行程序代码的过程。
- 杨兴涛苏桂平王瑞芳王小芳
- 关键词:连接件特定领域建模元模型代码生成
- 特定领域建模与代码生成的研究与实现被引量:6
- 2009年
- DSM通过提高抽象程度实现软件生产力的提高。本文在深入研究DSM与元建模以及代码生成等技术后,提出一种特定领域建模与代码生成的方法,并建立起它的实现。本文归纳总结了创建特定领域元模型及其实现的方法与原则;介绍了使用GMF通过特定领域元模型快速定制生成特定领域建模工具的过程;提出基于系统架构与框架创建覆盖不同业务类型的样例代码的方法与原则;总结归纳了特定领域建模与代码生成的整体过程;提出根据特定元模型将样例代码制作成代码模板的方法与原则;最后介绍了通用代码生成引擎的组成部分及其作用以及代码生成的过程。本文提出的特定领域建模与代码生成的方法,可生成100%的可直接运行代码,是提高软件开发效率与产品质量的有效途径。
- 杨兴涛苏桂平王瑞芳王小芳
- 关键词:特定领域建模元模型代码生成
- 一个无收据的高效电子选举方案被引量:5
- 2006年
- 根据电子选举所要符合的基本要求和扩展要求,结合椭圆曲线密码学、数字签名、盲签名和抗干预的智能卡技术,提出一种新的电子选举方案.论证了该方案满足电子选举所需的完全性、合理性、匿名性、不可重复性等基本要求,并且证明该方案严格满足无收据性、广义可验证性和高效性,解决了广义可验证性和无收据性不能同时高效实施的现有难题.
- 夏静波张四兰陈建华
- 关键词:电子选举可验证性智能卡
- 通用安全协议分析语言CPAL的研究
- 2005年
- 本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的完善方案,并从信息安全中的协议的广泛性方面说明其必要性。
- 刘士冬苏桂平吕述望
- 关键词:安全协议形式化分析形式化语言
- 基于进位预估快速模乘方法
- 2008年
- 研究基于进位预估的大整数模乘运算快速实现方法并应用于FastMM模乘算法的加速。与原算法相比,采用交叉乘和进位预估加速结合方式,理论上最多可以节省33%的字乘操作;在实际应用中,192位椭圆曲线公钥密码系统速度性能与改进前相比提高15%~18%。进位预估方法还可以应用与其它需要截断中间乘积的场合,可以高效实现流行的公钥密码系统。
- 胡志金陈建华
- 关键词:模乘软件实现
- 抗侧信道攻击的椭圆曲线点乘算法设计被引量:1
- 2006年
- 简要地介绍了有关椭圆曲线(Ellipticcurve)的数学知识,提出了一种基于投影坐标的ECC快速点乘算法。从实现的角度,对在椭圆曲线密码体制中的运算(点乘)进行了侧信道攻击分析,并对该算法进行了安全性改进。
- 余荣威陈建华张四兰夏静波祝辉林
- 关键词:侧信道攻击点乘
- 高效的原根生成算法被引量:1
- 2006年
- 在研究一般的原根生成算法的基础上,提出了一种不依赖于广义黎曼猜想的概率性多项式时间算法,该算法能够以指定的概率确保输出正确。根据算法复杂度的分析,该算法为多项式时间算法,易于实现。
- 夏静波张四兰陈建华
- 一种新的椭圆曲线签名方案被引量:3
- 2005年
- 将椭圆曲线密码机制与ElGamal机制、ECDSA机制进行了对比,提出了一种新的签名机制。这种机制可以抵挡自主选择消息攻击,并且不用求逆,效率高。
- 刘广汪朝晖
- 关键词:椭圆曲线密码密钥生成签名算法
- 无线网络及其安全性被引量:4
- 2006年
- 无线网络以其便捷性、及时性、移动性、方便性而流行和风靡,但是其安全性也是非常重要的,是日常应用中不容忽视的要素。该文介绍了关于无线网络知识,设计了安全方案的解决办法,提出了提高无线网络安全性的建议。
- 殷学文苏桂平
- 关键词:无线网络网络安全安全协议