文献类型：期刊文献

中文题名：优化的匿名电子现金支付协议及其形式化验证

英文题名：Optimization of anonymous e-cash payment protocol and its formal verification

作者：陈莉[1];刘军[1]

第一作者：陈莉

机构：[1]河南财经学院计算中心

第一机构：河南财经政法大学

年份：2010

期号：8

起止页码：3053-3057

中文期刊名：计算机应用研究

外文期刊名：Application Research of Computers

收录：CSTPCD;;北大核心:【北大核心2008】；CSCD:【CSCD2011_2012】；

基金：国家"863"计划资助项目(2007AA01Z471);国家自然科学基金资助项目(60473021);河南省重点科技攻关项目(072102210029);河南省科技攻关项目(0624260017);河南省教育厅自然科学研究计划项目(2010A520004)

语种：中文

中文关键词：安全属性;形式化验证;密钥保密性;非否认性;公平性;原子性

外文关键词：security property; formal verification; key confidentiality; non-repudiation; fairness; atomicity

摘要：针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。对优化协议进行形式化验证,结果表明,优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。
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.