为满足电子商务系统对安全性的迫切需求，本项目将着重研究离线式电子支付系统（特别是电子现金系统）的安全问题。高效安全的电子支付系统模型和设计、微支付系统的安全体系、比特承诺、肓签名、部分肓签名、组签名、批验证协议、多重数字签名、零知识证明、公平协议、密码算法等是本项目研究的核心理论和关键技术。我们还将分析现有系统的安全性。