基于半点运算与多基表示的椭圆曲线标量乘法

椭圆曲线密码体制的实现速度依赖于曲线上标量乘法的运算速度。在具有极小2-挠的椭圆曲线上基于半点运算的标量乘法算法优于传统的标量乘法算法。该文将半点运算运用于基于多基表示的标量乘法算法中,得到一种新的多基表示形式和基于该表示形式的标量乘法算法,有效提高了标量乘法的运算效率。     

密码模块安全性要求标准研究

密码模块是保护信息的核心部件,其自身安全也需要得到保证,这种安全性要求需要规范化。本文对如何制定好密码模块安全性要求标准从必须遵循的原则、内容、安全性等级划分、标准的开发方法等方面进行了研究。     

一种新的群签名成员删除问题解决方案

文献[8]在CS97群签名方案的基础上,利用更新算子的思想,提出了一个“群数字签名中成员删除问题的更新算子方案”,在该方案中,被删除的群成员仍然可以做出签名,并且可以被验证者验证,只有群打开签名才能发现签名者的不合法身份。本文基于此方案给出一个安全的改进方案。     

改进的多目标元素量子搜索算法

Grover量子搜索算法解决了未加排序的数据库搜索问题,在2ⁿ个元素中搜索M个目标元素,其计算复杂度为O（（2ⁿ/M）^-2）,相对于经典算法实现了二次加速,但是,当目标元素个数接近2ⁿ/2时该算法成功率只达到50%。从任意相位的Grover变换从发,给出一种改进的多目标元素量子搜索算法,该算法在目标元素个数M≥2ⁿ/4时,只用一次Grover变换就能以概率1完成搜索。     

基于NTRUSign的匿名代理签名方案

提出一个基于NTRUSign的匿名代理签名方案,并对该方案进行了详细的安全性分析。结果表明该方案满足一个匿名代理签名方案应具有的性质,且实现速度快、占用资源少以及产生密钥容易,具有更高的实用性和安全性。     

代理签名人身份保密的强代理签名方案研究

代理签名人身份保密是强代理签名的一个重要研究方向。首先对Shum和Wei的代理签名人身份保密的强代理签名方案进行研究,指出Sun等人对Shum-Wei方案的原始签名人伪造攻击是无效的,并给出了一个更有效的攻击方法;优化了Lee等人的原始签名人伪造攻击方法;指出Shum-Wei方案的签名结果含有冗余数据;给出一个新的代理签名人身份保密的强代理签名方案,该方案具有强不可伪造性且签名结果更简化。最后,以新方案为基础设计了一个代理多重签名方案。     

基于秘密认证的可验证量子秘密共享协议

该文针对量子秘密共享协议难以抵抗内部成员欺骗攻击的问题，采用秘密认证的方法提出可验证量子秘密共享协议的一般性模型，基于Bell态双粒子变换提出一种新验证算法，并以此给出一个新的可验证量子秘密共享协议。与现有的量子秘密共享协议的验证算法相比，新验证算法既能有效抵抗内部成员欺骗攻击等典型的攻击策略，又可大幅提升协议效率，而且可以与现有量子秘密共享协议相结合，具备很好的可扩展性。     

Montgomery-形式椭圆曲线构造方法研究

本文将广义Mersenne素数与Montgomery-形式椭圆曲线的CM(复乘)构造方法有机结合,并在构造过程中充分运用了预计算,和原有方法相比,既提高了挑选曲线的速度,又提高了公钥密码体制实现的效率。     

形式化方法和测试技术及其在安全中的应用

本文回顾和讨论了形式化方法和测试技术,以及形式规格说明可以用于测试用例生成、测试顺序确定的途径;并提出了将形式化方法和测试技术应用于安全保密设备。     

基于Brier-Joye的Elgamal椭圆曲线密码体制研究

对二元域上基于Brier-Joye公式的Elgamal椭圆曲线密码体制的安全性进行了分析,给出了抵抗碰撞点攻击的方法,介绍了Brier-Joye公式抵抗信道攻击的椭圆曲线选择标准。