%0 Journal Article
%T Design and logical analysis of compound payment protocol satisfying a variety of security properties<br>满足多种安全属性的复合型支付协议及其逻辑分析
%A CHEN Li
%A YUAN Kai-yin
%A <br>陈　莉
%A 袁开银
%J 计算机应用研究
%D 2012
%I 
%X 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.
%K compound payment protocol
%K freshness of key
%K secrecy of key
%K atomicity<br>复合型支付协议
%K 密钥新鲜性
%K 密钥秘密性
%K 原子性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=3178011684088478788374EB8B612F18&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=DF92D298D3FF1E6E&sid=4EE5DF24C5F28AE6&eid=4F1B93A90F019F45&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=9