-
题名弱公钥模型集下的零知识论证系统
被引量：1
- 1
-
-
作者
谭肖
赵一鸣
-
机构
复旦大学计算机科学与工程学院
复旦大学软件学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第22期147-149,152,共4页
-
基金
国家自然科学基金资助项目(60543054
60703091)
上海市重点学科建设基金资助项目(B114)
-
文摘
根据近年来弱公钥模型集下的零知识系统的研究成果,对其发展历程和特性设置进行阐释和剖析,探讨该模型集下最优轮数的零知识协议的构造方法,提出通用的4轮模式和3轮模式,以及协议的(并发)健壮性和(可重置)零知识的证明技术和问题,并总结弱公钥模型集下零知识系统的研究将来可能发展的导向。
-
关键词
可重置零知识论证系统
并发健壮性
弱公钥模型
cPK模型
WPK模型
UPK模型
-
Keywords
resettable zero knowledge argument system
concurrent soundness
Bare Public Key（BPK） model
counter Public Key（cPK） model
Weak Public Key（WPK） model
Upper-bounded Public Key（UPK） model
-
分类号
N945.12
[自然科学总论—系统科学]
-
-
题名BPK模型中的双可重置零知识协议
- 2
-
-
作者
祝维
邓燚
-
机构
中国科学院信息工程研究所网络空间安全防御重点实验室
中国科学院大学网络空间安全学院
-
出处
《密码学报（中英文）》
CSCD
北大核心
2024年第4期807-819,共13页
-
基金
国家自然科学基金(61932019,61772521,61772522)。
-
文摘
零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了BPK模型中的14轮重置合理重置(T,ϵ)-零知识协议,相比于先前BPK模型中的双可重置协议(27轮),轮复杂度缩减了将近一半.本文使用近年来新开发的个体化归约技术,首先在BPK模型中构造了3轮的重置合理并发(T,ϵ)-零知识协议,随后根据标准模型中重置合理的类有界重置零知识协议构造了BPK模型中的双可重置协议.
-
关键词
交互证明系统
零知识
双可重置协议
纯公钥模型
-
Keywords
interactive proof system
zero-knowledge
simultaneous resettability
bare public key model
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
