一种改进的椭圆曲线数字签名算法

提出一种改进的椭圆曲线数字签名算法,该算法的设计有效地避免了求逆运算,提高运算速率.同时在签名算法中使用了SHA-256.该Hash函数作用在待签名消息m与它的签名r上,进一步确保算法的安全性.     

确定周期为2pn的q元序列k-错线性复杂度曲线的快速算法

文章提出周期为2pn的q元序列k-错复杂度曲线的一个快速算法,这里q为奇素数且是模p2的一个本原根,该算法推广了计算周期2pn的q元序列线性复杂度和k-错线性复杂度的快速算法。     

一种基于NTRUSign的代理签名方案

NTRUSign是一种基于NTRU算法的数字签名方案,该方案的安全性取决于从一个非常大的维数格中寻找最接近向量问题,NTRU数字签名方案具有密钥产生容易、速度快、占用资源少等特点.文中构造了一个新型的基于NTRUSign的持票代理签名方案,并对该方案的安全性方面作了分析.     

关于BCI-代数的子代数的注记

本文研究了BCI─代数的元素的几个重要性质，给出一些循环子代数和有限生成子代数的描述．     

BCl-代数的理想格

本文证明了BCI一代数的闭理想格是它的理想格的完备的模子格     

拟幂等半群

本文引入拟幂等半群,研究了它的半格分解,并用Green关系刻画了几类拟幂等半群.     

bent-negabent函数的构造

给出了一种新的negabent函数的构造, 基于此构造和已有的bent函数的构造, 得到了一种bent-negabent函数的构造;分析了一类由4个函数级联所得函数的性质, 给出了这类函数为negabent函数的必要条件;给出了bent-negabent函数的一种直和构造。     

一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标．     

认证测试与理想分析方法比较

针对刘霞提出的改进的Server—specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证．结果表明,改进的SSM协议能够达到协议的认证性目标．最后对两种分析理论进行分析比较．     

关于BCI—代数的似零理想

本文在ＢＣＩ－代数中引入似零理想和反固执理想的概念并研究了它们的重要性质和特征。