具备撤销单一密钥功能的TPM动态密钥管理机制

可信平台模块(TPM)的内部存储空间很小,密钥大多以加密的形式存储在模块外部,因此需要一种可以单独撤销某一存储在模块外部密钥的方法。该文通过使用变色龙散列函数,提出了一种具备撤销单一外部密钥功能的动态密钥管理方法。该方法构建了一个动态密钥管理树,将密钥存储在叶节点中。基于TPM保存的私钥,可以在不影响其他密钥的情况下添加新密钥、更新和撤销旧密钥。动态密钥管理树中每一层最左侧的节点存储在TPM内部,其余节点存储在外部,更新和撤销密钥时,只需遍历从密钥叶节点到密钥子树根节点的路径,因此该方法的内部存储开销和时间开销和密钥总数量呈对数关系。动态密钥管理方法能很好地兼容现有的TPM应用程序,同时也可以应用在其他嵌入式密码模块中。     

一种基于演化密码和HMM改进的Koblitz安全曲线产生新方法

考虑未来云计算攻击和量子计算机攻击,需要储备安全强度更高的ECC安全曲线．利用隐Markov模型（HMM）预测迹向量解决基点计算难题,完善基于演化密码思想提出的Koblitz安全曲线产生新算法,完成了F（2 2000）以内Koblitz安全曲线的搜索实验,产生的安全曲线基域的覆盖范围、曲线的规模和产生效率均超过美国NIST的公开报道参数．可提供的安全曲线的基域和基点最高超过1900bit,远超过美国NIST公布的571bit．在NIST公布的F（2163）-F（2571）范围之间还有新的安全曲线发现．对产生的安全曲线进行了详细的安全分析,表明与NIST推荐的安全曲线具有相同的安全准则．     

一种新的加噪扰动算法及其对SFLASH签名方案安全性的增强

本文引入了噪声因子、加噪运算的概念,构造了噪声群,并由此提出了一种新的加噪扰动算法,用于增强多变元公钥密码体制(MPKCs)的安全性.由Matsumoto-Imai体制演变而来的欧洲信息安全标准SFLASH,是专为适用于智能卡而设计的一种快速数字签名算法.2007年Dubois等利用差分分析法攻破了SFLASH算法.文中重点以Matsumoto-Imai体制为例,通过安全性分析,这种新的加噪扰动算法能破坏其公钥函数潜在的数学特性,在不降低算法效率的前提下,可有效抵抗差分攻击,增加其安全性.     

量子计算的挑战与思考

量子计算时代使用什么密码,是摆在我们面前的紧迫的战略问题,研究并建立我国独立自主的抗量子计算密码是唯一正确的选择.从基于HASH函数的数字签名、基于格的公钥密码、MQ公钥密码、基于纠错码的公钥密码4个方面讨论了抗量子密码的发展现状,介绍了自己的研究工作,并从量子信息论、量子计算理论、量子计算环境下的密码安全性、抗量子计算密码的构造理论与关键技术4个方面给出了进一步研究的建议.     

基于密码协议实现的行为安全分析模型

提出了一种基于密码协议实现的行为安全分析模型,该模型把密码协议实现分2个部分:一是外部行为(开放网络空间交互通信的行为);二是内部行为(代码实现的行为)。通过行为的可控性,能够发现、控制或纠正密码协议实现的安全。基于该分析模型方法,以经典的密码协议为实例进行模拟实验。实验结果表明,密码协议实现的行为安全是可控的。     

可信计算的研究与发展

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一些新发展,特别是介绍我国可信计算的一些新发展,并对目前可信计算领域存在的一些问题和今后发展提出了自己的看法和观点.     

基于改进祖冲之算法的安全跳频通信系统

跳频通信具有良好的抗干扰和抗拦截特性,因此被广泛地应用于很多通信系统中。密码算法的引入可以增强跳频序列的安全性。该文在祖冲之算法3层结构的基础上,对其进行适当的改进,在第1层引入置换多项式方法来增加序列的线性复杂度,并且将第3层替换为演化DES密码算法来增加安全性,进而提出了基于改进ZUC算法的跳频通信系统实现方案。对本方案所产生的跳频序列进行了多种安全性以及随机性测试,实验结果表明:汉明相关性、随机性和动态局部线性复杂度表现良好,并且通过了NIST随机性测试,而后通过Simulink仿真验证了其可行性。     

计算机并行通信纠错设计

提出了３种适合计算机并行通信的纠检错方案,它们能够纠正单字节错,同时检测绝大多数字节错,结合ＡＲＱ技术,可得到很高的系统可靠性和数据完整性。     

一种基于纠错码的数字签名协议

基于纠错码中的NPC问题——陪集重量问题和一般线性码译码问题,首先提出了一个数字签名协议,接着对签名协议提供几种可能的攻击方法,例如穷举攻击、仅知密文攻击、选择明文攻击和利用密钥伪造签名,进行安全性分析,并且给出相应安全性分析的计算复杂度,介绍了四种Goppa码的参数及其相应数字签名协议的安全水平.通过实例分析该签名协议的可行性,即协议过程是矩阵之间的运算,分析了协议的计算效率,计算了密钥量,用示意图表示了正确解密的概率.结果表明:该协议不仅能实现签名和加密,而且实现复杂度低、加解密效率高,具有抵抗量子计算的潜力,能够广泛应用于电子交易过程.