论文部分内容阅读
本文首先用形式化的语言描述了密码学的基础知识,特别注重介绍了一类特殊的身份认证体制——有证据不可区分身份认证及其签名。接着用形式化的语言定义了盲签名协议,给出了各种不同盲签名协议的应用和框架式模型,对其展开了系统的分析。接着我们详细分析了电子货币的模型和性质,并根据我们构造的盲签名和身份认证的框架性描述,从已有的电子货币协议中抽象出与协议无关的各种情况下不同性质的电子货币的框架式模型,这对理解电子货币模型有重要意义,并对构造新的电子货币协议有很强的启发性。在我们构造模型的基础上,我们深入研究了电子货币的可转移性,构造了一个离线可转移电子货币和一个在线可转移电子货币的框架性模型。接着我们根据对电子货币的研究,提出了类似的协议可以运用于在线的电子版权,给出了一个电子版权方面的框架性模型,并给出了一个依框架构造的具体协议。最后简单分析了电子选举模型,并同样给出了框架性模型。本文很少涉及具体的协议,力求给出电子货币、电子版权、电子选举等方面框架性的模型,根据我们给出的框架性模型,很容易把框架中的抽象协议用具体协议替换,得到一个具体的协议。