Abstract: In 1996, Kailar presented a paper, namely＂accountability in electronic commerce protocol＂, which quickly became the most widely used and widely discussed formal method for the analysis of electronic commerce protocol. The semantics of logic is very import

Key words: Logic, Semantics, Strand space, Electronic commerce protocol