论文部分内容阅读
∑-协议是密码学领域中的一种重要工具.论文证明了关系R上的∑-协议具有如下的几个性质:①如果关系R至少存在两个证据,则在关系R上的∑-协议是证据隐藏协议;②在单项置换存在的假设下,任意NP问题具有∑-协议;③存在计算零知识的∑-协议;④∑-协议可转换为零知识证明.
∑-协议的几个性质
【摘 要】
：
∑-协议是密码学领域中的一种重要工具.论文证明了关系R上的∑-协议具有如下的几个性质:①如果关系R至少存在两个证据,则在关系R上的∑-协议是证据隐藏协议;②在单项置换存在
【机 构】
：
广州大学数学与信息科学学院,中国科学院软件研究所信息安全国家重点实验室
【出 处】
：
广州大学学报(自然科学版)
【发表日期】
：
2009年5期
其他文献
基于低温储粮节能技术研究，文章初步设计了粮仓补冷空调风管布置的3种方案．以计算流体力学CFD模拟软件为工具，对其通风效果进行模拟研究，并对结果进行分析比较，得出最佳风管布置方
对实际的PWM芯片控制的Buck变换器中的非线性现象展开研究,建立了实际PWM控制芯片的非线性模型,得到UC3842控制下电感电流的分叉图和Lyapunov指数,进一步得到PWM芯片控制下Bu
对比分析了几种实时时钟芯片的功能,说明DS1306的应用优势.介绍了SPI串行总线结构及一种DS1306与PIC16F73单片机构成的应用系统的接口电路和控制程序,通过应用系统设计总结了
研究一类二阶差分方程Δ2y(k-1)+f(k,y(k))=0,k∈[1,T]在混合边值条件y(0)=0,Δy(T)=0下正解的存在性.应用临界点理论中的山路引理,当非线性项在0点及无穷远点为超线性增长时
利用遥感影像和GIS技术,通过采用多样性、破碎度和分维数等指数,分析了中山市1988年和2006年两期土地景观格局的总体变化.结果表明:①各景观类型的斑块数量增加,面积变化较大,且斑块形状复杂性增加;②景观破碎度大小不一,景观类型稳定性各不同,优势度减少,受人类干扰程度加深;③景观斑块之间的转移中,耕地、基塘用地和未利用地不断转移为建设用地,耕地也有大部分转移到基塘用地,建设用地成为景观格局中的主
通过对基于免疫原理的入侵检测相关技术的深入研究,在现有的计算机免疫学及入侵检测系统相关研究的基础上,提出了一种新的基于免疫原理的网络入侵检测系统模型,并对其进行了