项目名称: 安全多方计算基础理论研究
项目编号: 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