New logic analysis method for the verification of electronic commerce protocol
Deli Yang · Journal of systems engineering · 2009
A classic instance is given to illustrate the limitations of SVO on verification of electronic commerce protocol in this paper.A new logic analysis method for the electronic commerce protocol is proposed under unreliable communication and dishonest participants,which expands the analysis framework of SVO.In the new framework,the analysis for the protocol only depends on the operational environment there is no need of the initial supposition given by people.Furthermore,the novel method can verify not only non-repudiation in static state,but also fairness in dynamic.At last,one classical transaction protocol is presented to verify the validity of the method.Research results show that the new logic is rigorous and effective.