Abstract: The electronic commerce protocols often have more complex structures than authentication protocols, and a protocol might be composite of multiple sub-protocols, so the security analysis of electronic commerce protocols is more complex than the analysis of

Key words: Strand space, Electronic commerce protocol, Fairness, Strand node path