中文摘要：

课题的目标是寻求新的方法和突破口对分布式密码系统的某些关键问题进行研究，具体内容为(1)、以双线性对为工具及切入点，利用双线性对的相关特性，设计新的知识证明协议、知识承诺方案、可验证秘密共享方案和可公开验证秘密共享方案，以及具有同态性的线性秘密共享方案，同时基于双线对探索一般访问结构的秘密共享方案；(2)、将双线性对引入到安全多方计算协议中，利用所设计的相关基础工具和协议，设计新的安全多方计算协议。(3)、探讨安全多方计算协议的的公平性，寻找新的方法研究某些特殊安全多方计算协议的公平性，为多方公平交换协议提供更一般的理论框架。(3)、将机制设计理论的思想和方法，引入到公平交换协议的公平性研究中，试图从目标收益达到平衡状态的角度来定义一种新的公平交换机制，并以此为基础研究多方公平交换协议。

结论摘要：

项目围绕以秘密共享和安全多方计算为核心的分布式密码系统基础协议的一些关键问题展开研究；探索了基础协议的公平性和公平协议设计；以此为基础，研究面向多方的应用密码协议；设计了一个测试仿真基础平台，完成了基础算法实现。具体包括(1)、以双线性对良好的数学和密码学特性为切入点，通过设计新的知识证明协议和知识承诺方案，构建了相关可验证秘密共享方案、可公开验证秘密共享方案；初步探讨了基于同态密码的知识证明协议，得到了基于同态密码的零知识证明协议；(2)、将双线性对引入到安全多方计算协议，基于双线性对实现了保密加法和保密乘法计算，并进一步设计了基于双线性对的安全多方计算协议；(3)、提出了一种群组通信的通用可组合机制，为分布式密码系统基础协议的通用可组合安全提供了思路和方法；初步从信息熵的角度探讨了门限结构和一般访问结构的秘密共享，并给出了相关形式化描述；(4)、从概率的角度提出了公平的秘密共享方案；探讨了安全多方计算公平性的定义及一些关键问题，并基于Boolean电路研究通用安全多方计算的公平性，设计了某种条件下的通用公平安全多方计算协议；(5)、鉴于传统协议公平性实现的困难，研究了具有理性参与者的秘密共享协议和安全多方计算协议的效用机制，提出了基于博弈平衡机制的公平性概念；探讨了分布式密码系统基础协议的效用机制设计，初步利用基本博弈、重复博弈、贝叶斯博弈和信誉机制等方法，部分解决了秘密共享中的“空威胁”和“搭便车”问题，给出了适用于秘密共享协议和安全多方计算协议的一些公平机制设计，实现了一些理性公平秘密共享协议和理性公平安全多方计算协议；(6)、在多方应用密码协议方面，围绕群组通信的安全需求，集中在多重签名及签章、门限签名及签章、结构化签名、聚集签名、可传递签名、群签名、基于属性密码体制、多方模糊身份密码体制、多方的无证书密码和基于证书密码体制、分布式云存储和多方电子合同协议等方面展开了研究；(7)、设计并实现了一个测试仿真基础平台，完成了Edwards型椭圆曲线密码、双线性对和基于身份密码的一些基础算法；实现了PKI核心组件设计，构建了面向多方的PKI/CA的公钥密码基础平台，并进行了部分协议的仿真实验。 项目组在分布式密码系统的理论、方法和应用上有了一定的突破和创新，圆满完成了项目计划任务和目标，在科学研究、人才培养和团队建设方面取得了较好的效果。