您的位置: 专家智库 > >

国家高技术研究发展计划(2001AA141010)

作品数:29 被引量:121H指数:6
相关作者:陈建华苏桂平吕述望汪朝晖夏静波更多>>
相关机构:武汉大学中国科学院研究生院大连大学更多>>
发文基金:国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信理学机械工程更多>>

文献类型

  • 29篇中文期刊文章

领域

  • 17篇自动化与计算...
  • 8篇电子电信
  • 4篇理学
  • 1篇机械工程

主题

  • 12篇密码
  • 5篇椭圆曲线密码
  • 5篇密码技术
  • 3篇信息安全
  • 3篇安全系统
  • 2篇代码
  • 2篇代码生成
  • 2篇点乘
  • 2篇信息安全系统
  • 2篇序列发生器
  • 2篇有限域
  • 2篇元模型
  • 2篇随机数
  • 2篇随机序列发生...
  • 2篇特定领域建模
  • 2篇签名
  • 2篇计算机
  • 2篇加密
  • 2篇公钥
  • 2篇发生器

机构

  • 17篇武汉大学
  • 9篇中国科学院研...
  • 2篇大连大学
  • 2篇吉林大学
  • 2篇中国科学技术...
  • 1篇山东大学
  • 1篇江西蓝天学院
  • 1篇中南大学

作者

  • 14篇陈建华
  • 9篇苏桂平
  • 7篇吕述望
  • 5篇汪朝晖
  • 5篇夏静波
  • 5篇张四兰
  • 4篇胡进
  • 2篇何德彪
  • 2篇刘争春
  • 2篇王瑞芳
  • 2篇姚旭初
  • 2篇余荣威
  • 2篇杨兴涛
  • 2篇殷学文
  • 2篇涂航
  • 2篇王小芳
  • 2篇范修斌
  • 2篇胡志金
  • 2篇黄尹
  • 1篇马广明

传媒

  • 6篇计算机工程与...
  • 5篇武汉大学学报...
  • 3篇计算机工程
  • 2篇微电子学与计...
  • 2篇计算机系统应...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇北京工业大学...
  • 1篇数学杂志
  • 1篇华中科技大学...
  • 1篇计算机工程与...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇计算技术与自...
  • 1篇湖北民族学院...
  • 1篇铁道科学与工...

年份

  • 2篇2011
  • 2篇2009
  • 4篇2008
  • 6篇2006
  • 9篇2005
  • 3篇2004
  • 2篇2003
  • 1篇2002
29 条 记 录,以下是 1-10
排序方式:
一种信息安全系统中序列随机性检验方法被引量: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年
无线网络以其便捷性、及时性、移动性、方便性而流行和风靡,但是其安全性也是非常重要的,是日常应用中不容忽视的要素。该文介绍了关于无线网络知识,设计了安全方案的解决办法,提出了提高无线网络安全性的建议。
殷学文苏桂平
关键词:无线网络网络安全安全协议
共3页<123>
聚类工具0