【摘要】：交互式零知識證明是數(shù)學(xué)實(shí)踐發(fā)展中的產(chǎn)物,對傳統(tǒng)的數(shù)學(xué)證明理論具有挑戰(zhàn)性。在數(shù)學(xué)哲學(xué)上它具有數(shù)學(xué)方法論和認(rèn)識論意義;在科學(xué)哲學(xué)上對科學(xué)理論具有重要的啟發(fā)性意義;它豐富了知識論中認(rèn)識來源的理論,凸現(xiàn)了證明的說服與提振信念的功能,區(qū)分了證明與理解;它對復(fù)雜性理論與思維的發(fā)展也具有重要的理論意義。
[Abstract]:Interactive zero knowledge proof is the result of the development of mathematical practice, which is challenging to the traditional mathematical proof theory. It has the significance of mathematical methodology and epistemology in the philosophy of mathematics; it has important enlightening significance to the theory of science in philosophy of science; it enriches the theory of the source of cognition in the theory of knowledge, and highlights the function of persuasion of proof and the promotion of belief. It also has important theoretical significance for the development of complexity theory and thinking.
【作者單位】： 湘潭大學(xué)哲學(xué)系;
【分類號】：O1-0

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 羅文俊,李祥;雙向零知識證明與初等函數(shù)兩方保密計(jì)算[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年01期

2 趙麗敏;;基于零知識證明的身份認(rèn)證解決方案[J];中國科技信息;2007年12期

3 韓德;李慧珍;戚英華;;可判定條件下的零知識證明[J];裝甲兵工程學(xué)院學(xué)報(bào);2009年02期

4 王春生,王秀友;一種基于代理簽名的零知識證明[J];阜陽師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年03期

5 霍素芳;閆鳳利;;群組中實(shí)現(xiàn)的量子零知識證明[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

6 張引兵;王慧;;零知識證明協(xié)議研究[J];赤峰學(xué)院學(xué)報(bào)(自然科學(xué)版);2014年07期

7 徐明,韓維;一個基于交互式零知識證明的身份鑒別協(xié)議[J];徐州師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年01期

8 李立;李紅達(dá);李寶;;公平的知識簽名[J];武漢大學(xué)學(xué)報(bào)(理學(xué)版);2008年05期

9 朱洪武;;具有數(shù)字簽名的零知識證明協(xié)議及其分析[J];成都大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年01期

10 唐春明,劉卓軍;基于離散對數(shù)的Blum整數(shù)的統(tǒng)計(jì)零知識證明(英文)[J];湘潭大學(xué)自然科學(xué)學(xué)報(bào);2005年02期

相關(guān)會議論文 前3條

1 王郁武;詹佑邦;;零知識證明的量子身份認(rèn)證協(xié)議[A];第十五屆全國原子與分子物理學(xué)術(shù)會議論文摘要集[C];2009年

2 張毅;周鵬;;一種基于ELGamal簽名和零知識證明的雙向認(rèn)證方案[A];全國第22屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會議(CACIS·2011)暨全國第3屆安全關(guān)鍵技術(shù)與應(yīng)用（SCA·2011）學(xué)術(shù)會議論文摘要集[C];2011年

3 宋浩;;零知識證明——一種新的身份驗(yàn)證方法[A];第三次全國計(jì)算機(jī)安全技術(shù)交流會論文集[C];1988年

相關(guān)博士學(xué)位論文 前4條

1 李睿;零知識證明及承諾協(xié)議的不可延展性研究[D];山東大學(xué);2012年

2 丁寧;精確零知識證明系統(tǒng)研究[D];上海交通大學(xué);2009年

3 趙運(yùn)磊;廣義公鑰模型下并發(fā)及可重置的零知識證明系統(tǒng)[D];復(fù)旦大學(xué);2004年

4 顏俊;量子零知識交互證明的相關(guān)研究[D];中國科學(xué)技術(shù)大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 王佳;基于CL匿名憑證系統(tǒng)的屬性證明協(xié)議的研究與實(shí)現(xiàn)[D];東北大學(xué);2014年

2 張引兵;零知識證明及其應(yīng)用研究[D];淮北師范大學(xué);2011年

3 王蘭蘭;基于非交互式零知識證明的匿名簽名方案的研究[D];東北大學(xué);2011年

4 劉彥龍;RFID零知識證明協(xié)議研究[D];天津大學(xué);2014年

5 汪存燕;基于橢圓曲線零知識證明的身份認(rèn)證系統(tǒng)的研究和實(shí)現(xiàn)[D];上海師范大學(xué);2010年

6 秦波;零知識證明與數(shù)字簽名理論的研究[D];西安理工大學(xué);2003年

7 曾娜;全無泄露的位承諾協(xié)議與不可否認(rèn)數(shù)字簽名方案研究[D];江西師范大學(xué);2008年

8 趙美艷;基于零知識證明的XML多重?cái)?shù)字簽名技術(shù)在電子公文中的應(yīng)用研究[D];暨南大學(xué);2005年

9 周先存;基于零知識證明和離散對數(shù)的認(rèn)證機(jī)制的研究[D];合肥工業(yè)大學(xué);2004年

10 王旭;云環(huán)境下面向用戶的遠(yuǎn)程證明方案[D];河北大學(xué);2015年

，

本文編號：2276955