代数几何和组合方法在Hash函数族构造中的应用
批准号:
61303200
项目类别:
青年科学基金项目
资助金额:
22.0 万元
负责人:
刘丽华
依托单位:
学科分类:
信息安全
结题年份:
2016
批准年份:
2013
项目状态:
已结题
项目参与者:
吴志雄、吴雅容、邓伟
中文摘要
Hash函数族的构造是编码理论与密码学中的主要研究课题之一.应用有限域上的代数曲线和组合方法是构造Hash函数族的重要方法.明确构造具有优良渐近行为的Hash函数族具有很重要的理论价值,许多问题有待研究解决.本项目的重点是应用有限域上的代数曲线与组合方法相结合,研究Hash函数族的构造问题,特别是研究具有优良渐近行为的分离Hash函数族的构造问题.D.R.Stinson和G.Zaverucha提出公开问题:当t≥3时,是否可以确定性构造出具有优良渐近行为的{w1,w2,...,wt}-分离Hash函数族?本项目将探索解答此公开问题。同时,本项目还研究应用组合方法和技巧给出的Hash函数族的新的递归构造方法;研究t≥3且w1+w2+...+wt≥4时Hash函数族存在性并设计构造Hash函数族的组合算法,分析算法的有效性;研究Hash函数族在编码理论与密码学中的应用。
英文摘要
Hash families are of great importance in coding theory and cryptography. Algebraic curves over finite fields accompanying combinatorial methods, have many significant applications on constructions of Hash families. Explicit constructions of Hash families asymptotically good are of great value in practice. There are many efforts on the topic, moreover, there are still many open problems.The project is devoted to the constructions of Hash families applying the algebraic curves over finite fields. Especially, we plan to present an infinite class of explicitly constructed Hash families with good asymptotical behavior.We are going to study on the open problem given by D.R.Stinson and G.Zaverucha, which says that when t≥3, whether there exist explicit constructions of {w1,w2,...,wt}-separating Hash families asymptotically well;meanwhile, we study recursive construction of Hash families derived from combinatorial methods and techniques,find lower and upper bounds on separating Hash families when t≥3 and w1+w2+...+wt≥4. The combinatorial algorithms for the construction of Hash families also would be designed and analyzed. Furthermore, we contribute ourselves to applying Hash families to the coding theory and cryptography in order to design more useful codes and schemes.
Hash函数族的构造是编码理论与密码学中的主要研究课题之一.应用有限域上的代数曲线和组合方法是构造Hash函数族的重要方法.明确构造具有优良渐近行为的Hash函数族具有很重要的理论价值,许多问题有待研究解决.本项目的重点是应用有限域上的代数曲线与组合方法相结合,研究Hash函数族的构造问题,特别是研究具有优良渐近行为的广义分离Hash函数族的构造问题.可认证父代码用来阻止非法产生知识产权问题。在文章[良好渐近行为的IPP码]中,我们构造了渐近性良好的IPP码。应用有限域上的代数曲线,我们改进了PAHF的参数。作为应用,构造了具有良好渐近行为的一族IPP码。 我们构造的码是多项式时间,渐近率远远大于零,特别地,渐近率和相对分离距离与码长N和码字长短n无关。交互式加密方案是外包计算的核心组件,如何设计这种新式的加密方案是研究的难点所在。我们系统地分析了若干外包计算协议,研究了云计算外包服务中存在的一些问题,提出了如下一些注意事项。这些注意事项包括:(1)封装后的问题是在哪个数域上求解的。2013年,Wang等人发表了一篇关于线性方程组外包计算问题的论文[IEEE Transactions on Parallel and Distributed Systems, 24(6), 1172-1181, 2013], 曾经被多次引用。经分析后,我们得知设计者混淆了封装后问题所在的数域特征,定义了有限域上的收敛序列,该协议是无法真正实现的[IEEE Transactions on Parallel and Distributed Systems, 27(5), 1551-1552, 2016].(2)封装后的问题是否可解。2016年,Wang 等人在IEEE Trans. Computers上发表了一篇论文[IEEE Trans. Computers, 65(1), 2016, 216-229],该文针对线性规划外包问题提出了一个设计方案. 我们的分析表明该该封装后的问题是不可解的 [International Journal of Network Security, 19(2), 323-326, 2017].
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
A Note on Design Flaws in One Aggregated-Proof Based Hierarchical Authentication Scheme for The Internet of Things
关于一种基于聚合证明的物联网分层认证方案设计缺陷的说明
DOI:
--
发表时间:
2016
期刊:
International Journal of Electronics and Information Engineering
影响因子:
--
作者:
[Liu Lihua, Cao Zhengjun, Olivier Markowitch]
通讯作者:
Olivier Markowitch
The Paillier's Cryptosystem and Some Variants Revisited
重新审视 Paillier 的密码系统和一些变体
DOI:
--
发表时间:
2015-11
期刊:
International Journal of Network Security
影响因子:
--
作者:
[Cao Zhengjun, Liu Lihua]
通讯作者:
Liu Lihua
DOI:
10.6633/ijns.201611.18(6).06
发表时间:
2016
期刊:
Int. J. Netw. Secur.
影响因子:
--
作者:
[Zhengjun Cao;Lihua Liu;O. Markowitch]
通讯作者:
Zhengjun Cao;Lihua Liu;O. Markowitch
A Note on "Efficient Algorithms for Secure Outsourcing of Bilinear Pairings"
关于“双线性配对安全外包的高效算法”的说明
DOI:
--
发表时间:
2015-12
期刊:
International Journal of of Electronics and Information Engineering
影响因子:
--
作者:
[Liu Lihua, Cao Zhengjun]
通讯作者:
Cao Zhengjun
Comment on “Harnessing the Cloud for Securely Outsourcing Large-Scale Systems of Linear Equations”
对“利用云安全外包大规模线性方程组”的评论
DOI:
10.1109/tpds.2016.2531669
发表时间:
2016-05
期刊:
IEEE Transactions on Parallel and Distributed Systems
影响因子:
5.3
作者:
[Cao Zhengjun, Liu Lihua]
通讯作者:
Liu Lihua
共 13 条
国内基金
海外基金