计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2010年
7期
2621-2624
,共4页
零知识协议%实例依赖%可验证随机函数
零知識協議%實例依賴%可驗證隨機函數
령지식협의%실례의뢰%가험증수궤함수
实例依赖的可验证随机函数是由文献[1]提出的一个新的密码学概念,它也是构造高安全性的零知识协议(如可重置零知识论证系统)的一个强有力的工具,而这些高安全性的零知识协议在智能卡和电子商务中有着重要的潜在价值.基于非交互ZAP证明系统和random oracle模型中∑OR-协议,给出了实例依赖的可验证伪随机函数的两个高效的实现和相应的安全性证明,提升了这一工具的应用价值.
實例依賴的可驗證隨機函數是由文獻[1]提齣的一箇新的密碼學概唸,它也是構造高安全性的零知識協議(如可重置零知識論證繫統)的一箇彊有力的工具,而這些高安全性的零知識協議在智能卡和電子商務中有著重要的潛在價值.基于非交互ZAP證明繫統和random oracle模型中∑OR-協議,給齣瞭實例依賴的可驗證偽隨機函數的兩箇高效的實現和相應的安全性證明,提升瞭這一工具的應用價值.
실례의뢰적가험증수궤함수시유문헌[1]제출적일개신적밀마학개념,타야시구조고안전성적령지식협의(여가중치령지식론증계통)적일개강유력적공구,이저사고안전성적령지식협의재지능잡화전자상무중유착중요적잠재개치.기우비교호ZAP증명계통화random oracle모형중∑OR-협의,급출료실례의뢰적가험증위수궤함수적량개고효적실현화상응적안전성증명,제승료저일공구적응용개치.