检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:李红达[1] 徐海霞[1] 李宝[1] 冯登国[2]
机构地区:[1]信息安全国家重点实验室,中国科学院研究生院 [2]信息安全国家重点实验室,中国科学院软件研究所
出 处:《中国科学:信息科学》2010年第9期1197-1210,共14页Scientia Sinica(Informationis)
基 金:国家重点基础研究发展计划(批准号:2007CB311202,2007CB311201);国家高技术研究发展计划(批准号:2006AA01Z427);国家自然科学基金(批准号:60970139)资助项目
摘 要:文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识的零知识证明系统的存在性,同时也是对(NP问题的)3轮零知识证明系统的存在性这一公开问题的一个肯定性答复.
分 类 号:TP182[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222