分布式密码系统是一种面向多方参与的密码体制，其目标是解决各种关键控制的分布式安全实现问题。贵州大学彭长根团队通过围绕分布式密码系统的关键问题研究，得到了一些相关理论和方法，主要成果包括：1、采用承诺为安全多方计算协议提出一种正确输出证明的思路，通过设计安全多方矩阵乘积协议实现了线性方程组和矩阵特征值的安全多方计算。首次引入双线性对方法设计了几个分布式密码系统的知识承诺协议、可验证和可公开验证秘密共享协议和安全多计算协议；2、基于椭圆曲线实现了一个具有门限签密和门限验证的一个通用分布式密码方案，解决了相关方案的一些弱点；在随机预言模型和通用组合框架(UC)下，分别构建了可证明安全的门限签密方案和多重签密方案，为分布式密码系统的可证明安全方法提供了有益的探索；课题组进一步基于双线性对和签密方法的结合，研究并设计了安全多方计算协议；3、利用博弈逻辑ATL给出了分布式电子商务协议的形式化描述方法，深入分析了协议参与方之间的对抗与合作博弈。并基于Ehrenfeuchte-Fraisse博弈探讨了博弈逻辑的基础问题；研究发现没有可信第三方协议的公平性实现成了瓶颈，鉴于此，课题组重新给出博弈意义下的公平性，并提出博弈公平性实现的一些机制设计方法；4、利用行为时序逻辑TLA和界程逻辑对分布式安全协议和分布式并发网络安全系统进行检测，改进TLA活性规则和讨论了带递归的谓词界程逻辑在有限控制移动界程上的模型检测，将嵌套谓词等关系应用到带递归的谓词界程模型检测中，提出一个时间复杂性与逻辑公式交错嵌套深度呈指数关系的局部模型检测算法；5、设计了一个基于证书的分布式密码系统基础实验平台，为应用拓展奠定了基础。
通过该项目的研究，在核心期刊以上发表论文50余篇，其中具有代表性论文15篇，其中SCI、EI收录11篇，被SCI、EI期刊他引32次，其它期刊他引100余次；培养博士9名，硕士5名。
该项目获得2013年度贵州省科技进步二等奖。
免责声明：本网转载自其它媒体的文章，目的在于弘扬科技创新精神，传递更多科技创新信息，并不代表本网赞同其观点和对其真实性负责，在此我们谨向原作者和原媒体致以敬意。如果您认为本站文章侵犯了您的版权，请与我们联系，我们将第一时间删除。
