中文摘要：

陷门承诺是密码学中最重要的基本概念之一，它在公钥密码学的许多领域如零知识证明、安全多方计算、数字签名、安全电子商务协议等都有着重要的应用。本项目主要研究陷门承诺方案的安全定义、安全模型与敌手模型，设计适用于不同应用背景的可证明安全的陷门承诺方案，其中着重于构造无密钥泄漏的陷门承诺方案、非延展的承诺方案及广义可复合的承诺方案。此外，我们还探索陷门承诺方案在特殊数字签名（如变色龙签名、在线-脱线签名）、安全电子商务协议（如电子投票、电子拍卖、公平交换）中的应用。该项目的研究不仅具有重要的理论意义，而且具有巨大的实用价值。

结论摘要：

本项目主要研究陷门承诺及其在密码学中的应用。具体的说，我们从陷门承诺方案的安全模型和敌手模型入手，分析现有陷门承诺方案的安全性及效率，弱化现有方案的安全假设，研究设计各种适用于不同应用场合的、具有特殊性质的陷门承诺方案。探索陷门承诺方案在特殊数字签名、切换认证及安全电子商务协议中的应用。最后，我们还对陷门承诺在云计算安全中的应用进行了探索研究。 到目前为止，项目按原计划完成。项目组发表和录用了32篇论文，受三大检索系统收录的论文有36篇，其中被SCI检索源11篇，EI检索源23篇，ISTP检索2篇。于2011年10月16-18日在西安成功举办“第5届可证明安全性国际会议”(ProvSec 2011)， 会议论文集由Springer出版 (LNCS 6980)。申请发明专利4项，授权1项。项目执行期间共培养硕士研究生13人，已毕业3人；培养博士研究生6名 (联合指导3名)，已毕业1人。