A New Approach for the Analysis of Electronic Commerce Protocols
Cai Wang · Chinese Journal of Computers · 2004
This paper presents an approach for the analysis of e-commerce protocols by combining Kailar logic with LPC organically. This approach provides a set of inference rules for reduction and analysis of signature and cryptograph.Thus it not only describes the knowledge and behavior of participants, but also analyzes the accountability and fairness of e-commerce protocols. In addition, the use of the method enables us to analyze protocols both with in-line TTP and with off-line TTP. Compared with other approach, this one can help avoid the weakness of Kailar logic and compensate the deficiency of the LPC.