基于格的线性同态签名方案

基于格上SIS(the Small Integer Solutions problem)最小整数解问题提出了一个新的线性同态签名方案,该方案可以抵抗量子计算的攻击.与之前的线性同态签名方案相比较,摆脱了对同态哈希的依赖性,提高了计算效率,但安全级别仍然不变,并且证明了该方案满足正确性、不可伪造性和私有性.     

基于格的两轮多重签名方案

为了抵抗量子攻击且进一步降低通信代价，基于代数格提出了一种支持公钥聚合的两轮多重签名方案(TLMS方案)，其安全性可归约于求解环上小整数解(Ring-SIS)问题，并在随机预言机模型下给出方案的安全性分析.相比于现有多重签名方案，基于格上困难问题构造的TLMS方案生成多重签名时仅需进行2轮交互，具有较小的计算开销和通信开销，可满足量子时代最新的安全需求.     

在标准模型下格上基于身份的代理环签名

基于固定维数的格基委派算法和盆景树模型,在标准模型下构造了一个无可信中心的格上基于身份的代理环签名。其安全性是基于小整数解问题(small integer slution, SIS)的困难性。在标准模型下实现了代理签名者的完全匿名性和选择消息攻击下的强存在不可伪造性。与现有的基于格的代理环签名方案相比,新方案具有更高的安全性和计算效率。     

基于环签名的支持多PKG身份基加密方案

将环签名和基于身份的密码体制(identity-based encryption,IBE)相结合,构造出了一种新的、具有多个密钥生成中心(private key generator,PKG)的IBE体制,即基于环签名的多PKG身份类加密体制。并在格上构造出一种标准模型下安全的基于环签名的多PKG身份类加密方案,方案的安全性基于小整数解问题和带差错学习问题的困难性。与现有的IBE方案和其变种相比,新方案减轻了PKG的负担,更适用于庞大的组织,且具有更好的应用灵活性。     

一种AVS整数变换的快速算法

变换编码是许多图像、视频标准的基础,我国 AVS(Audio Video Coding Standard)视频标准采用了8×8的整数变换(IT,Integer Transform).为了提高 AVS 整数变换硬件实现的资源利用率,设计了一种高效的变换方案,提出基于流水线结构的-维整数变换快速算法,采用行列分解的方法进行二维整数变换,运算量大幅度减少,减小了硬件实现的复杂度,仿真分析表明该方法正确有效.     

基于格密码理论的装备保障信息网络身份认证方案

针对当前装备保障信息网络身份认证方案无法抵抗正在崛起的量子计算机攻击及认证效率较低的问题,基于新的格密码理论,提出了装备保障信息网络在量子计算环境下安全且快速的身份认证方案。该方案采用理想格结构生成方案的主密钥,将装备身份信息输入到原像抽样函数中得出装备身份信息对应的认证密钥,利用无陷门的采样技术产生出装备的认证信息。结果表明：该方案在理想小整数解问题困难性假设的条件下,达到了适应性选择身份和选择消息攻击下的不可伪造性安全;在保证安全的前提下,该方案在达到相同的安全等级水平时在认证速率和验证速率方面均高于传统基于RSA和ECC的认证方案。     

多产品批处理过程调度的MILP建模

基于时间间隙的概念和连续时间描述，将设备、产品分配给时间间隙分别表达为两类0-1变量。采用一个时间轴，建立了具有并行生产线的单阶段多产品批处理过程的调度数学模型。模型表达为一个混合整数规划（Mixed Integer Linear Programming,MILP)问题。相对于已有的基于时间间隙描述的调度模型，该模型0-1变量少，且能处理顺序相关建立时间。求解采用分支定界法（BAB）。计算表明，该模型求解速度快，松弛线性规划和MILP的最优解之差（Integraligy Gap)小，尤其对包含多个相同批次的调度问题求解效果更为显著。     

基于混合整数规划的一类混杂系统优化方法

基于混杂系统的离散时间混合逻辑动态(Mixed Logical Dynamical,MLD)模型,研究了混杂系统具有控制输入约束的优化问题的混合整数二次规划(Mixed Integer Quadratic Program,MIQP)方法.把混杂系统的约束优化问题转化为MIQP问题;基于Branch & Bound算法,开发用于求解MIQP问题的MATLAB程序;并对该方法作了数值仿真计算.结果表明,MIQP是解决一类混杂系统优化问题有效的且具有发展前景的方法.     

一个基于ISIS问题签名方案的分析与改进

量子计算具有强大的计算能力.利用量子计算,一些传统的数学困难问题可以被解决,例如:基于大整数因子分解问题、离散对数问题等.2017年,Gupta提出了一个基于格的签名方案,在基于格理论的SIS问题和I-SIS问题困难性假设前提下,称提出的签名方案是不可伪造的.笔者对Gupta的方案进行了研究,指出在适应性选择消息攻击下...     

多目的批处理过程的优化周期调度

基于状态任务网络（State Task Network,STN)描述批处理过程，提出了多目的批处理过程的混合整数规划（Mixed Integer Linear Programming,MILP)周期调度数学模型。建模采用连续时间描述，并将任务和设备分配结合事件点集决表达为一类0-1变量。相对于已有的多目的批处理过程周期调度数学模型，该模型规模小，计算速度快。     

基于多变量密码体制的新型代理签名方案

目前应用广泛的代理签名体制的安全性主要是基于大数分解及离散对数难题,而这些正是量子计算影响最为深刻的领域．多变量密码作为后量子时代能够抵抗量子攻击的公钥体制之一,具有重要的研究价值．文章所设计的多变量代理签名方案就是基于多变量密码中的IP问题而提出,作为一种新的代理签名方案,其“抗量子计算”性是最大的特点,并且还具有多变量密码的实现速度快、效率高的优势     

基于Schnorr密码体制的匿名代理签名方案

基于Schnorr密码体制提出了一种新的匿名代理方案.在该方案中,代理签名者身份对验证者来说是不可见的,签名出现争议时,验证者可以借助原始签名者确定代理签名者的身份,同时,原始签名人可以根据需要收回代理签名权.本方案不需要可信第三方,计算量较小,应用方便,是一种安全、高效的代理签名方案.     

变色龙散列函数在代理签名方案中的应用

基于变色龙散列函数和离散对数签名方案(如DSA,Schnorr签名方案),给出一种新的代理签名方案,方案中代理人无须产生新的代理密钥,从而使代理人省去了管理和保护代理密钥的麻烦;同时,代理人只需找出给定变色龙散列值的碰撞即可产生代理签名.由安全性分析可知该方案是一个安全的代理保护的代理签名方案.     

基于Schnorr签名体制的前向安全的代理签名方案

对最近提出的前向安全的强代理数字签名方案（T—L方案）进行了安全性分析，发现该方案不具有前向安全性。本文提出了基于Schnorr签名体制的前向安全的代理数字签名方案，该方案具有前向安全性，并满足代理签名的安全性要求。     

具有限制性的代理签名方案

针对现有的限制性代理方案尚不能有效地对时间和次数同时控制这个问题,基于一次性代理签名方案和前向安全技术,提出了一个新的具有次数和时间限制的代理签名方案。方案在离散对数和大数分解计算困难下是安全的,并且满足代理签名的所有性质。     

基于DLP的指定验证人的代理签名

代理签名与指定验证人签名都是非常有用的密码学工具,在实际生活中有着广泛的应用。在代理签名中,原始签名人能将其数字签名的权力委托给代理签名人;而在指定验证人签名方案中,对于验证人却是有所限制的。文章结合两者的优点,利用基于离散对数的Schnorr签名方案构造了一个指定验证人的代理签名方案。本方案与其他方案相比,除了满足所必需的安全性之外,在代价及计算量上更为高效。     

在标准模型下安全的基于身份的代理签名方案

代理签名允许原始签名人把他的签名权委托给代理签名人, 这样代理签名人能够代表原始签名人对消息进行签名. 代理签名可以应用到许多领域, 例如分布式系统, 网格计算和移动代理等. 将代理签名与基于身份的密码学结合起来, 人们提出了一些基于身份的代理签名方案, 可是它们的安全性证明都是在随机预言模型下获得的, 这样它们在现实环境中不一定是安全的. 利用Paterson等的基于身份的签名方案构造了一个基于身份的代理签名方案, 并在标准模型下基于计算Diffie-Hellman假设证明了它的安全性.     

基于椭圆曲线的代理签名方案的分析和改进

目的提高基于椭圆曲线的代理签名方案的效率和安全性。方法通过对Hwang等人的代理签名方案及其改进方案的分析和研究,针对其在代理证书绑定及秘密共享传输中存在的问题进行了改进。结果提出一个新的基于椭圆曲线的代理签名方案。结论克服了原方案的不足,实现了普通信道传输秘密,提高了其安全性。     

基于身份的具有已知签名人的门限代理签名方案

利用椭圆曲线上的双线性设计了一个安全、高效、不可否认的基于身份的具有已知签名人的(t,n)门限代理签名方案.该方案不但满足一般具有已知签名人的门限代理签名的安全需求,也保留了用椭圆曲线上的双线性对构造的基于身份的签名方案的优势.此外,该方案还具有代理群对授权之事一致认同,由代理签名人生成的代理签名无论是实际签名人、原始签名人还是代理群都不可否定该签名的有效性.     

一种基于椭圆曲线的门限代理签名方案

在(t,n)门限代理签名方案中,原始签名人可将签名权授权给成员数为n的代理群,代理群中任何不少于t个代理签名人可代表原始签名人生成有效的签名.门限代理签名的特点使之具有广泛的实用性.目前所提出的门限代理签名方案多基于有限域上的离散对数问题.由于椭圆曲线密码体制在相同安全级别下,具有密钥短、速度快的优点,为此提出了一种基于椭圆曲线的不可否认门限代理签名方案,其安全性基于椭圆曲线离散对数问题难解性,同时可以在需要时实现对签名者的追查.安全性分析表明,该方案可有效地挫败合谋攻击和伪造攻击.同时由于椭圆曲线密码体制的特点,使该方案的计算量和通讯量都较小.