一种高效的多证明者零知识论证系统
摘要
基于离散对数构造了一种高效的多证明者零知识论证系统,即使验证者具有无穷的计算能力,也得不到证明者的任何信息。基于该协议能构造一种具有完全安全的永久秘密共享方案。
出处
《湘潭师范学院学报(自然科学版)》
2009年第1期27-30,共4页
Journal of Xiangtan Normal University (Natural Science Edition)
基金
国家自然科学基金重大计划项目面上项目(90604034)
国家自然科学基金面上项目(10871222)
国家自然科学基金专项基金(天元基金10726012)
参考文献7
-
1M Ben - or, S Goldwasser, J Kilian, et al. Multi - Prover Interactive Proofs : How to Rempve Intractability [ C ]//In 20th ACM Symposium on the Theory of Computing. Chicago:Illinois Association for Computing Machinery, 1988.
-
2Brassard G, D Chaum, C Crepeau. Minimum Disclosure Proofs of Knowledge[ J ]. Journal of Computer and System Sciences, 1988,37(2) :156 - 189.
-
3Goldreich O. Foundation of Cryptography - Basic Tools(Ⅰ)[ M]. England: Cambridge University Press,2001.
-
4Tang C, Yao Z. Definition and Construction of Multi -Prover Zero- Knowledge Arguments[ C]//Proceedings of the 2009 International Conference on Communications and Mobile Computing. Kuming(China) : IEEE Computer Society,2009.
-
5Shamir A. How to Share a Secret [ J ]. Communication of Association for Computing Machinery, 1979,22 ( 11 ) :612 - 613.
-
6Goldreich O. Foundation of Cryptography - Basic Tools(Ⅱ) [ M]. England: Cambridge University Press,2001.
-
7Goldreich O. Secure multi - party computation ( working draft, Version 1.1 ) [ EB/OL]. http ://philby. ucsd. edu/cryptolib/ books, html, 1998.
-
1张凡.关注系统 寻求安全[J].中国教育网络,2009(6):20-20. 被引量:1
-
2小鱼.Windows 7的XP模式能阻止恶意软件运行[J].网络与信息,2009(11):77-77.
-
3巧借虚拟XP阻隔恶意程序侵袭Win7[J].计算机与网络,2010,36(22):33-33.
-
4谢春思,王敏庆,李军玲,张圆.某型导弹发射仪可靠性Bayes设计与实现[J].火力与指挥控制,2007,32(4):93-96.
-
5戚利娜.可验证计算视角下可信云计算的研究[J].科技与创新,2017(4):34-35. 被引量:1
-
6辛艳东.单片机应用及抗干扰因素分析[J].科技创新与应用,2012,2(05Z):79-79.
-
7刘春,杨运强,崔广礼.基于电涡流传感器的无线位移测量系统[J].微计算机信息,2009(31):107-108. 被引量:1
-
8沈炎.计算机辅助船舶论证系统[J].计算机辅助工程,1993,2(4):1-4.
-
9袁迪,金瑞龄.多类服务器计算机网络系统优化配置研究[J].上海理工大学学报,1998,20(2):139-146.
-
10黄哲俄.计算机局域网的安全保密管理策略研究[J].决策与信息,2015(18):120-120.