Design And Analysis Of Information Security And Micropayment Protocols For Internet

With the development of the Internet, many conventional services have now on-lineversion and many new services are envisioned. But most of the services will be realizedonly if providers can be compensated for their efforts. Access to material protected bycopyright in remote information systems is technologically feasible. Thus, lacking secureand efficient payment protocol become a bottleneck for the development of the Internet.With the increasing of the value-added information services on the Internet, we mustcreate mechanisms to secure the generation, storage, distribution, and management of theinformation goods. Information security and Micropayment protocol play a key role inthe transaction of information goods on the Internet. So. the study of how to design suchprotocols in various environments and verify their securities using appropriate formalmethods has a significant theoretical value and practical applications. The two aspects ofdesigning and analyzing of Information security and Micropayment protocol are studiedand main research results are as follows:1..Arialvze and summarize the existing Micropayment protocols on Internet, andpropose nine crireria for designing Micro payment protocols.2.A new Micropayment protocol for the selling and buying of low-valueinformation goods on Internet is presented based on Payword.3.Some new formulaes and rules for extending the AUTLOO logic are introduced,then. the extended AUTLOG logic is used to analyze the protocol in the papaer and provetheir correctness.4.An efficient protocol for mutual authentication and Micropayment for mobilecomputing network is proposed. Its formal analysis is presented using the extendedAUTLOG logic.5.A pay-per view service model for web-based video service is proposed. On thebasis of this model. a set of fair and efficient pay-per view protocols for web-based videoservice is presented.6.A new distributed secure electronic auction protocol suitable for the auction ofinformation goods over the Internet is proposed.7.An access control scheme with user authentication is proposed.8. A dynamic access control scheme in multilevel security system is presented.