基于两类循环码构造3-设计

信道编码理论中最热门的课题之一是利用组合设计和群论等数学知识构造新的循环码.由于循环码具有良好的代数结构,被广泛应用于工程和通信等领域.构造在F_7^m上两类循环码族,第一类码的参数为[q+1,q-7,d],其中d≥6,m≥2且为整数;第二类码参数为[q+1,8,q-9],其中m≥2且为整数.设q=7^m,由已给出的两类循环码的任意非零权重的码字的支撑集在一般射影线性群PGL(2,q)下是不变的,且一般射影线性群PGL(2,q)在射影直线PG(1,q)上的作用是3-传递的,从而可以验证对应的关联矩阵构造3-设计.     

乘性单调张成方案的构造

乘性单调张成方案是实现安全多方计算的重要工具．构造乘性的单调张成方案对安全多方计算至关重要．对任意的存取结构，CRAMER等给出了一种构造方法，但构造出来的乘性单调张成方案的行规模变成原来的两倍，而列规模也增加了．文章提出一种新的构造方法，在不改变列规模的前提下，该方法可以构造出行规模小于原来的2倍的乘性单调张成方案．     

一种高效的多证明者零知识论证系统

基于离散对数构造了一种高效的多证明者零知识论证系统,即使验证者具有无穷的计算能力,也得不到证明者的任何信息.基于该协议能构造一种具有完全安全的永久秘密共享方案.     

同样对称性质的2重尺度函数及其多小波构造

提出了 2重尺度函数及其相应多小波的构造步骤。该尺度函数满足如下性质 :(1)各分量具有不同的紧支撑区间 ;(2 )各分量对称性相同 ;(3)正交。得出了不存在各分量满足反对称性的具有实用价值的 2重尺度函数的结果。讨论了构造过程中参数与尺度函数及其小波性质的关系 ,最后根据该类尺度函数及多小波的性质 ,构造了两种尺度函数和多小波。     

非光滑优化的强次可行方向邻近点束求解方法

通过引入新型邻近点参数修正策略及搜索方向子问题,提出一个求解非光滑优化的强次可行方向邻近点束方法.该方法稳定性好,能保证迭代点的强次可行性,且具备全局收敛性.     

基于非精确数据的非光滑优化强次可行方向法

本研究针对一类目标函数非光滑优化问题,提出一个基于非精确数据的强次可行方向法.通过构造新的寻找搜索方向子问题和新型线搜索,该算法能够保证迭代点的强次可行性,且具备全局收敛性.     

实现k=18的Brezing-Weng曲线的最优配对

研究了嵌入次数为 18 的Brezing-Weng 椭圆曲线上的最优配对的构造与实现。给出配对的Miller 算法的循环长度为log₂r/6, 达到了Miller 算法循环长度的猜想下界log₂r/φ(18) 。使用 6 次扭转映射实现了点的压缩表示, 并减少了Miller 算法中的除法运算, 从而使得配对中的大多数计算只需要在F_q或F_q³上进行。给出了一个有效计算最优配对的算法。最后使用有限域上的Frobenius 映射简化了配对算法中最终的幂运算。     

一个修正的强次可行SQCQP算法

提出了一个修正的强次可行序列二次约束二次规划(SQOQP)算法.通过设计一个新的矩阵修正策略,算法在全局收敛性分析中不需要假设目标函数的(近似)Hesse阵正定或一致正定.在适当条件下,算法具备超线性收敛性.     

云环境下安全外包椭圆曲线点的乘法

云计算是一种新兴的计算模式,它为云用户提供了强大的计算环境,但同时也引起了用户安全性和隐私性问题的关注.模幂运算是大多数现行的密码系统的基本运算之一,也是公钥密码系统在计算资源限制型设备上的计算瓶颈所在.使用传统的平方-乘算法计算一个n比特的指数的模幂运算,平均需要1.5n个模乘,对于资源有限型用户(或设备,例如智能卡)来说,这个计算量是个很沉重的负载.外包计算是云计算模式的优点之一,它使得云用户的计算能力不再受限于各自的资源约束型设备,通过外包工作负载给云,云用户可以使用云提供的无限资源来完成高代价的计算.本文围绕"外包模幂运算"这个问题展开研究,为椭圆曲线的点的乘法的计算问题,提出了一个安全的外包计算方案,并且将本文的方案应用于加速椭圆曲线数字签名的验证.     

∑-协议的几个性质

∑-协议是密码学领域中的一种重要工具.论文证明了关系R上的∑-协议具有如下的几个性质:①如果关系R至少存在两个证据,则在关系R上的∑-协议是证据隐藏协议;②在单项置换存在的假设下,任意NP问题具有∑-协议;③存在计算零知识的∑-协议;④∑-协议可转换为零知识证明.