提出电子货币的连续离线支付模型，并指出连续离线支付模型是理想的电子货币必须满足的交易模型。 利用连续离线支付模型证明了电子货币原子功能属性集合的充要条件。必要条件证明采用与现行纸币支付模型进行比对的方法；充分条件从连续离线支付模型对电子货币功能的要求角度进行证明。电子货币的8个原子功能属性是：货币价值性、匿名性、离线可鉴别性、唯一性、可存储性、可支付性、不可伪造性和不可复制性。 基于电子货币的原子功能属性和连续离线支付模型，对电子货币的关键技术进行了深入探讨，得到一些重要结论和启示。指出不可复制性的研究重点不是重用后检测或者概率检验，而是在于如何防止复制。指出引入TTP建立可跟踪性应该以安全性和效率为前提，因为可跟踪性只是一种威慑手段，而不是构成电子货币的必要功能。对采用水印和智能卡的防复制方法进行了深入探讨，提出利用数字水印增强离线可鉴别性和防复制能力。指出卡基电子货币和软件基电子货币的结合才是电子货币的理想方案。针对可跟踪电子货币长度无限累加问题，提出采用支付次数度量电子货币生命期的解决方法。指出完善的多银行群签名技术是采用公钥体制实现电子货币理想功能模型的必要条件。提出多种面额与可分结合，多种面额为主，可分为辅是实现电子货币可支付性的理想方案。 利用连续离线支付模型和电子货币的原子功能属性，在探讨电子货币关键技术所得结论的基础上，提出电子货币的理想功能模型。 连续离线支付模型的提出、电子货币的原子功能属性的证明、对电子货币关键技术的研究结论，以及理想功能模型的提出，对于引导电子货币研究的方向有着重要的指导意义。