安全多方计算基础理论研究

项目名称： 安全多方计算基础理论研究

项目编号： No.61173139

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 徐秋亮

作者单位： 山东大学

项目金额： 58万元

中文摘要： 本项目拟研究安全多方计算(SMPC)中的一些基本理论问题。研究SMPC基本运算的实现，如模约减和乘幂、集合求交和求并等，给出这些运算的高效实现协议并研究它们的特定应用，秘密模数模约减的线性交互复杂度协议是研究的一个重点；研究比特分解等一般性技巧，对比特分解寻找线性交互复杂度协议，这将提高基于比特分解进行计算的一类函数的计算效率；研究SMPC问题的密码学复杂性，借助计算复杂性理论的观点，探讨安全实现各类功能函数的复杂度，并使用归约理论进行复杂类划分，以更清晰地刻画SMPC体系结构中各功能函数的安全计算可实现性及各复杂类之间的关系；研究高效工具协议的实现，设计适合SMPC的可验证秘密共享及茫然传输等基础工具；研究SMPC通用可组合(UC)安全性,在SMPC的运行环境中，以UC模型为研究重点，研究在合适的扩展UC模型下设计各种安全协议的问题。

中文关键词： 安全多方计算；模规约；零知识；cut-and-choose OT双向协议；通用可组合模型

英文摘要：

英文关键词： Multi-party Computation；Modulo Reduction；Zero Knowledge；Cut-and-Choose Bilateral Oblivious Transfer；Universal Composable Model