Design And Analysis Of Secure Micro Payment Protocol

Micropayment refers to the payment of small amounts of money on the Internet.This payment mechanism has special requirements for the system: under the premise of satisfying certain security,it requires less information transmission as possible,lower management and storage requirements.That is,speed and efficiency requirements are relatively high.At present,PayWord-based micropayment protocols have been widely used.The essence of PayWord-based micropayment protocols is to use Hash Chains to ensure security.Some of them use probabilistic voting mechanism to improve efficiency.The research of micropayment is also based on the PayWord mechanism.However,there are some problems in this mechanism,such as single encryption method,no trusted third party supervision in the probabilistic voting process,or no hash chain participation,which lead to a greater risk of forgery attack and denial of agreement,so the two parties can not trust each other.Based on the analysis of the classical PayWord protocol,probabilistic micropayment protocol for the first time using electronic lottery,VDM proposed by Zhao and Liu,the paper summarizes the advantages and disadvantages of this protocols.The model of micropayment protocol is defined,and the security requirements and design requirements of micropayment protocol are defined.On this basis,a trusted probabilistic micropayment protocol is proposed,which uses signature and the prepayment and post-probabilistic-verification mechanism to ensure the security and fairness of the protocol.This paper defines the model of micropayment protocol,and defines the security requirements and design requirements of micropayment protocol.The model of the micropayment protocol is also analyzed.Then the protocol is analyzed by induction.The analysis shows that the protocol can resist forgery attack to ensure security,and can prevent repudiation to ensure fairness.And because of the reduction of the use of public key encryption and signature,the efficiency is improved.Therefore,compared with other protocols including VDM protocol,the protocol proposed in this paper has stronger security to ensure that both parties can trust each other.Considering the deficiency of inductive analysis,Oracle and game are designed,and the protocol is formally analyzed and proved.