A New Approach for the Formal Analysis of Electronic Commerce Protocols
Yun Bo Guo · 2004
In e-commerce field, security and atomicity of e-commerce protocols are two important issues. It is a nec- essary step to analyze and verify them in developing protocol. The technique of logic analysis combined with process calculi is proposed in [3]. However, the technique has some limitations in analyzing security and atomicity of e-com- merce. In the paper, a novel technique for analyzing and verifying atomicity is presented.