efficient concurrent zero knowledge arguments for np in the bare public-key model

提出了一种从3轮公开掷币的对任何NP语言的诚实验证者零知识证明系统到纯公钥模型下4轮f轮最优）对同一语言的具有并发合理性的并发零知识证明系统．该转化方法有如下优点：1）它只引起D（1）（常数个）额外的模指数运算，相比DiCrescenzo等人在ICALP05上提出的需要qn）个额外的模指数运算的转化方法孩系统在效率上有着本质上的提高，而所需的困难性假设不变；2）在离散对数假设下，该转化方法产生一个完美零知识证明系统．注意到DiCrescenzo等人提出的系统只具有计算零知识性质．该转化方法依赖于一个特殊的对承诺中的离散对数的3轮诚实验证者零知识的证明系统．构造了两个基于不同承诺方案的只需要常数个模指数运算的系统这种系统可能有着独立价值

对Bivium流密码的变元猜测代数攻击

非线性方程组的求解是代数攻击的关键一环.对于一个具体的密码系统,在转化为方程组后,由于其计算上的复杂性,一般采用先猜测部分变元,再进行求解分析的方法.本文首先给出了对于猜测部分变元后子系统平均求解时间的估计模型,提出了基于动态权值以及静态权值的猜测变元选则方法和面向寄存器的猜测方法.在计算Gr bner基的过程中,对变元序的定义采用了AB,S,S-rev,SM,DM等十种新的序.同时,提出了矛盾等式的概念,这对正确分析求解结果以及缩小猜测空间有重要作用.最后,我们对Bivium流密码算法的攻击时间进行了估计.结果表明,在最坏情况下,使用DM-rev序及Evy3的猜测位置,猜测60个变元有最优的攻击结果,约2 exp(39.16)秒.Solving an equation system is a very important step in algebraic attack. For a cryptosystem, after being transformed to equations, we often need to employ guess-and-determine algorithm to estimate computational complexity of this attack. In this paper, we introduce a model to estimate average time in solving subsystems more accurately, and propose some criteria on selecting specific guessed variables to speed up the solving efficiency, which based on static weight and dynamic weight etc. For comupting Gro¨bner bases, we use serveral varible order which are AB, S, S-rev etc. Meanwhile, we introduce the concept of conflicting equations, and show the importance for correct analysis and narrow guessing space. In the end, we estimate the time of attacking Bivium. Experiments showed that, in the worst cases, guessing 60 varibles in the Evy3 position and with DM-rev varible order will have the optimal result, that is about 2 exp(39.16) seconds

nonsingular circulant matrices over finite fields

利用有限域上循环矩阵的性质,使用2种不同方法去解决有限域上可逆循环矩阵的个数问题.最后给出有限域上可逆循环矩阵个数的计算公式,并对多变量密码学中的循环矩阵的应用进行简要分析,这对矩阵理论研究和相关密码学的分析有促进作用.国家973项目(2011CB302400)|国家自然科学基金(60970152)资助Study on the number of nonsingular circulant matrices over finite fields is significant in both maticx theory and practice.We characterize the properties of circulant matrices over finite fields and find two different ways to solve the problem.Finally,we give the formula to figure out the number of the nonsingular circulant matrices over finite fields in all circumstances and analyze some applications of circulant matrices in MPKC

analysis and improvement of a digital signature scheme based on factoring and discrete logarithm

对一个基于因数分解和离散对数两个困难问题的签名方案的安全漏洞进行了分析，提出了一种改进的基于两个数学难题的签名方案，并对它的安全性给出了证明

group key exchange protocol based on zero-knowledge set

零知识集是一种新的具有零知识性质的集合.这种集合的构造使得证明者对于任意元素都可以给出一个证明,证明该元素属于这个集合或者不属于这个集合,同时不泄漏额外的信息.本文基于Pedersen承诺设计一种新的群组密钥分配方案,利用零知识集的性质实现密钥分配.协议不仅保证了组成员可以安全动态的获得组密钥,而且保证了组成员除了获取组密钥,不会得到群组中其它成员的相关信息.与先前工作相比,本文提出的方案提供了更高的安全特性,适合应用于一些较特殊的网络应用,如网络秘密会议

2d bar code and digital signature and their applications to diploma

由于二维条码技术的突出优点,在各领域应用越来越广泛.二维条码技术和数字签名技术相结合可以有效解决各类证书数字化带来的一些问题,可以避免签名伪造和内容篡改.文章介绍了这些技术在毕业证书数字化中的应用,提出了解决方案并进行了实现.类似地他们也可以推广应用到其他各类证卡系统中

a grid resource optimal allocation scheme

本文提出了基于线性规划的网格异构资源分配问题的建模和求解方法．该方案综合考虑了资源分配问题的资源共享、作业优先级、作业对多种资源的依赖以及算法自身的策略等多种因素和约束条件．然后提出了网格环境下对独立作业进行网格资源分配的网格服务架构．实验表明基于线性规划的资源分配方法在速度和精确性两方面都是有效的，并且能保持高作业吞吐量．基于网格服务的架构也使该系统具有可扩展性和可伸缩性

research of platform independent programming using jni technology

在实践开发网格计算服务的过程中遇到了跨平台与服务运行效率的问题,在解决问题的过程中对Java的JNI技术进行了较深入的研究.对开发过程中使用JNI技术的重点和难点所作研究后的一个归纳和总结,并结合具体的开发实例由浅入深地介绍了有效使用JNI技术实现跨平台开发同时兼顾效率的有效方法

an improvement of the tmn protocol based on trapdoor oneway functions

提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式