【摘 要】
：
本文首先用形式化的语言描述了密码学的基础知识,特别注重介绍了一类特殊的身份认证体制——有证据不可区分身份认证及其签名。接着用形式化的语言定义了盲签名协议,给出了各
论文部分内容阅读
本文首先用形式化的语言描述了密码学的基础知识,特别注重介绍了一类特殊的身份认证体制——有证据不可区分身份认证及其签名。接着用形式化的语言定义了盲签名协议,给出了各种不同盲签名协议的应用和框架式模型,对其展开了系统的分析。接着我们详细分析了电子货币的模型和性质,并根据我们构造的盲签名和身份认证的框架性描述,从已有的电子货币协议中抽象出与协议无关的各种情况下不同性质的电子货币的框架式模型,这对理解电子货币模型有重要意义,并对构造新的电子货币协议有很强的启发性。在我们构造模型的基础上,我们深入研究了电子货币的可转移性,构造了一个离线可转移电子货币和一个在线可转移电子货币的框架性模型。接着我们根据对电子货币的研究,提出了类似的协议可以运用于在线的电子版权,给出了一个电子版权方面的框架性模型,并给出了一个依框架构造的具体协议。最后简单分析了电子选举模型,并同样给出了框架性模型。本文很少涉及具体的协议,力求给出电子货币、电子版权、电子选举等方面框架性的模型,根据我们给出的框架性模型,很容易把框架中的抽象协议用具体协议替换,得到一个具体的协议。
其他文献
Koto智能传感器随时随地监控室内环境本刊讯日前,C u b e S e n s o r s的研发团队推出升级产品—K o t o。与此前Cube Sensors单一版本所不同的是,这次的Koto推出了三个不同
本文分为两章.在第一章中，对于半直线上π为有限测度时，Dirichlet边界条件下Lp-Poincaré不等式π(|f|p)≤Apπ(a|f|p)，f(0)=0，f∈D(Dp)(1≤p＜∞)中最佳常数Ap的上下界，运用分析方
本文主要是在新的空间D(Ω)研究问题的，它是C(Ω)定义新范数而得到的完备化空间．以改进的Sobolev-Hardy不等式为工具，证明了Sobolev嵌入的紧性．因此新空间D(Ω)也是Sobolev空间，我
孩子是祖国的未来,而小学教育是孩子学习生涯中非常重要的阶段,能够为孩子今后的发展奠定基础.如何帮助孩子在小学阶段高效地进行学习,奠定坚实的基础,对于我们每一个教育工
本论文首先研究的是自由积的定义性质(Defining Proper-ties).从新的角度出发来看待自由积结构，可以比较容易的判断出在某些范畴中自由积是否存在。另外讨论了一些其他的满足
自然和社会科学领域（物理学、生物学和经济学领域等）中出现的很多问题最终都可归结为一个非线性的偏微分方程，因此对于非线性偏微分方程的求解和研究就成为了各领域学者重要的研
在这篇综述中，我们简要介绍了共形场理论中的一个重要概念-共形块，并比较了共形块的两种实现方式的等价性.共形块本身作为一个数学对象有许多深刻的性质，在本文中，我们给出了共形
本文对几个非线性发展方程的Cauchy问题进行了研究。文章得到了各向异性的四阶非线性Schr(o)dinger方程的解在L2空间及能量空间的整体适定性.而且，我们证明了当各向异性参数趋
随着保险市场的逐步商业化，特别是在加入WTO后，我国的保险业面临着更加巨大的挑战。客户是保险公司生存和发展的根基，然而激烈的市场竞争使得越来越多的保险公司面临着严峻的客
随着人类社会的发展与科学技术的进步，在实际问题中经常遇到分类的问题。聚类是一个古老的问题，它伴随着人类社会的产生和发展而不断深化，人类要认识世界就必须区别不同的事物并