通过网络进行商品交易会给越来越多的商家和顾客带来方便,但最关键的问题是如何安全地实现支付,并保证交易各方私有信息的安全等。现有的电子支付方式主要有信用卡、电子支票和电子现金三种。电子现金支付是目前一种比较先进的安全电子支付方式,已成为当前研究的热点之一。本文在风险分析的基础上,采用通用准则开发模型进行离线电子现金系统的安全性分析。通用准则在结构上具有开放性、内在完备性和实用性等特点,不足是没有给出风险分析的模型和方法。 在对传统风险分析进行了理论研究与实践探讨的基础上,采用Markov分析方法确定系统的失效状态;并采用故障树分析方法进行定性风险分析。以通用准则思想框架为指导,利用其开发模型,归纳了离线电子现金系统面临的主要七类威胁,并推导出该类系统应达到的安全目的,进而提出离线电子现金系统的安全要求,并形成了一个基于软件的离线电子现金系统的保护轮廓。对郭涛等人提出的离线电子现金协议SEECP的安全性进行了深入分析和证明。分别对其完备性、匿名性、不可重用性等八个命题进行了形式化证明,结果表明,SEECP协议在这些方面是安全的,可以抵御保护轮廓中涉及的离线电子现金系统面临的安全风险。最后对离线电子现金系统安全性研究方向进行了展望。