国家高技术研究发展计划(2006AA01Z442)
- 作品数：18 被引量：325H指数：6
- 相关作者：张焕国赵波武小平严飞余发江更多>>
- 相关机构：武汉大学解放军信息工程大学国防科技大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金武汉市青年科技晨光计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 实验教学与信息安全本科生实践创新能力培养被引量：13
- 2007年
- 本文分析了信息安全专业实验课程所面临的一些问题,并从多个角度介绍了武汉大学利用实验教学来加强信息安全本科生实践创新能力培养的经验和教训。
- 彭国军张焕国刘丹
- 关键词：实验教学信息安全本科培养
- 改进的素数域椭圆曲线密码处理器被引量：1
- 2011年
- 椭圆曲线密码算法的核心是点乘算法,由点加和点倍运算实现.通过采用仿射坐标,点加运算需要1次模除与4次Montgomery乘法,点倍运算需要1次模除与6次Montgomery乘法.通过采用一个统一的模除与Mont-gomery乘算法,使得硬件实现中仅需要1个算术运算器.素数域椭圆曲线密码处理器的核心是一个脉动算术运算阵列,其3级流水结构可以并行计算点运算中模除与Montgomery乘,以减少点运算的时间;通过改进核心的脉动算术运算单元,减少其关键路径延时以提高处理器的计算速度.仿真结果表明改进的处理器有效地提高了椭圆曲线密码处理器的计算速度.
- 陈传鹏覃中平
- 关键词：密码术硬件实现脉动阵列
- 高速双域求逆单元的设计与实现
- 2008年
- 提出了一种能够在素数域和二进制域下,高速处理384位以下数据的模逆运算单元。其使用改进的 Montgomery 模逆算法将两个域下的求逆运算统一起来。设计中使用了 S—C操作数分离表示法减少进位传播,并提出 S—C减法运算修正算法保证其正确性。设计了双域 S—C分离加减运算单元,使其能高速完成两个有限域下的算术运算。
- 蔡亮戴紫彬陈璐
- 关键词：模逆
- 一种新的可信平台模块被引量：6
- 2008年
- 介绍了可信平台模块(TPM)的结构和技术,指出了TCG的可信平台模块存在的一些不足。在此基础上,详细介绍了研制的一种新型可信平台模块。它在资源上是丰富的,在功能和性能上是先进的,符合TCG的技术规范。经过实际测试,其密码运算速度是高速的,完全可以满足可信平台模块的各种应用需求。
- 张焕国覃中平刘毅韩永桥
- 关键词：可信计算可信平台模块信息安全密码
- SMS4算法在嵌入式系统中的硬件实现方法被引量：2
- 2008年
- 提出了一种在嵌入式系统中使用FPGA(filed programmable gate array)实现国家对称密码算法SMS4算法的方法,并在实际系统中进行了设计验证。试验结果表明,使用硬件实现的加密算法可以大大提高嵌入式系统的加解密速度,在不增加嵌入式系统负担的情况下,提高了其安全性。
- 赵波熊泉韩碧霞
- 关键词：可信计算嵌入式系统FPGASMS4
- 基于结构码的安全数字水印方案
- 2008年
- 对数字水印模型进行研究,提出了数字水印系统是一个证明系统。指出了有效、公平的数字水印系统的出错概率应满足的条件。利用码的结构性实现了数字水印系统分析,指出该方案具有很强的健壮性,可以通过使用扩展TPM技术来增强该方案的安全性。
- 郝彦军王丽娜张焕国
- 关键词：数字水印盲检测信息安全
- 基于l-MOMSDH假设的短群签名DAA方案被引量：1
- 2010年
- 提出将标准模型下基于l-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于Fiat-Shamir启发式设计思想,完成了协议知识签名的数学构造,实现了非交互式零知识证明到知识签名的转化.具有签名长度短、运行效率高及标准模型下可证安全等特性,提高了现有协议的安全性,同时兼顾协议执行效率.
- 周雁舟张焕国李立新宋扬
- 关键词：可信计算平台远程证明直接匿名证明短群签名
- 一种通用ECC协处理器的设计与实现被引量：3
- 2009年
- 提出一种能同时在素数域和二进制有限域下支持任意曲线、任意域多项式的高速椭圆曲线密码体系(ECC)协处理器。该协处理器可以完成ECC中的各种基本运算,根据指令调用基本运算单元完成ECDSA及其他改进算法。支持384位以下任意长度的ECC应用,采用基于字的模乘器、操作数分离、RAM阵列等技术提高系统性能。
- 蔡亮戴紫彬陈璐
- 关键词：数字签名
- 可信计算平台模块密码机制研究被引量：19
- 2008年
- 可信计算已经成为世界信息安全领域的新潮流。介绍了可信计算平台模块(TPM)的基本体系,分析了它的密码机制,指出了其密码机制上的特色与不足。针对现有可信计算组织(TCG)规范中密钥管理授权机制比较复杂的缺点,结合OIAP与OSAP的思想,给出了一种授权复用的技术方案与授权协议,并给出了协议的安全性证明。
- 罗捷严飞余发江张焕国
- 关键词：可信计算密码密钥管理
- 基于信任管理模型的移动Agent安全机制研究被引量：4
- 2008年
- 针对移动Agent系统的安全问题,分析了信任管理模型的概念及其形式化定义。基于可信计算的相关思想,在传统安全管理的基础上融合了基于动态信任管理模型的安全体系结构并对相关关键算法进行了设计,同时与传统的安全性能进行了对比和分析。
- 武小平邢宏根
- 关键词：信任管理模型移动AGENT可信计算
