%0 Journal Article
%T Optimization of anonymous e-cash payment protocol and its formal verification<br>优化的匿名电子现金支付协议及其形式化验证
%A CHEN Li
%A LIU Jun
%A <br>陈莉
%A 刘军
%J 计算机应用研究
%D 2010
%I 
%X In response on the existing problems of anonymous e-cash payment protocol, the paper proposed an optimal protocol, which could meet a variety of security properties. To ensure the realization of its key confidentiality, the agreement and use of the session key were divided into two stages. To realize its non-repudiation, the certificates were used to prove the identities of the transaction entities. To avoid unfairness arisen by the dishonest transaction entities, the transmission of payment receipt was achieved by the trusted party. The proposed protocol used FTP to transmit electronic cashes and payment receipts, which ensured achievement of accountability and fairness, and enhanced the robustness of the protocol. Formal verification results indicate that the optimal protocol satisfies key confidentiality, non-repudiation, accountability, fairness and atomicity.
%K security property
%K formal verification
%K key confidentiality
%K non-repudiation
%K fairness
%K atomicity<br>安全属性
%K 形式化验证
%K 密钥保密性
%K 非否认性
%K 公平性
%K 原子性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=5F7CD70B82888101C2E22A5F198388EE&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=5D311CA918CA9A03&sid=29A94D7BA68AD64A&eid=C521E961976FC4C3&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10