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

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