Design and logical analysis of compound payment protocol satisfying a variety of security properties
满足多种安全属性的复合型支付协议及其逻辑分析

In view of the existing problems of the payment protocols, e. g. security goal is single, increasing security requires are not been satisfied. This paper proposed a compound payment protocol, which satisfies a variety of security properties, such as authenticity, freshness of key, secrecy of key, non-repudiation, accountability, fairness and atomicity. The authentication sub-protocol of the new protocol can authenticate identities of the important entities in the foremost time, and the session keys used for transaction are negotiated efficiently. The payment sub-protocol is designed by using the following improvements. The first improvement is introducing certificates to prove the identities of the protocol entities. The second is transmitting the payment receipts by the trusted party. The third is using FTP to transport electronic cashes and payment receipts. The new protocol is proven to satisfy a variety of security properties by the logical analysis.