Blind Signature Schemes And Their Application

In this article, we firstly describe the foundation of cryptology using formallanguage. We pay more attention to a special type of identification protocol:witeness indistinguishable identification protocols and the signature schemesbased on them. Then we define the blind signature using formal language. Wegive some models for kinds of blind signature for the schemes and theirapplications. We analyze these models methodically. Then we analyze themodels and properties of e-cash in detail. On the basis of the description ofblind signature and identification protocols, we give different abstractframework for different e-cash, which abstract from the protocols of e-cash.Our work is important to comprehend the models of e-cash, and is very usefulto construct new e-cash protocols. Then we go deeply into the transferablemodels of e-cash. We construct two transferable frameworks, one is on-lineand the other is off-line. On the basis of the e-cash, we propose that similarprotocols can be used for e-copyright. We give a framework of e-copyright, andgive the protocols from the framework. At last we analysis the model ofe-voting. We also give the framework of e-voting. This article doesn't want togive concrete protocol, and we just want to give the frameworks of the e-cash,e-copyright, and e-voting. People can easily get the specified protocol formsubstitute the abstract protocol in the framework with the specified protocol.