This paper designs a new secure payment protocol by means of the composition method, and verifies its atomicity by SMV.

• 摘要针对银行、商家和客户对电子支付协议提出的11条安全需求，应用组合设计方法设计一个新的安全支付协议，并用SMV工具分析新协议的原子性。