典型文献
基于可验证混淆电路的合作式安全两方计算协议
文献摘要：
本文针对基于混淆电路的安全两方计算协议通信复杂度过高的问题,研究如何进一步优化协议的性能.本文基于可验证混淆电路分享方案,在恶意敌手模型下实现了一种更高效的安全两方计算协议.主要创新性工作包括两个方面:(1)实现了一种新的可验证混淆电路分享方案.该方案延续了将混淆电路与秘密分享结合的思路,在Three-Halves混淆电路中结合可验证随机比特技术来生成混淆电路分享份额,保证了在恶意敌手模型下的安全性,与门运算的通信复杂度降低了约25％,而或门运算仍是零通信开销的;(2)提出了一个安全两方计算协议.设计了一种合作式协议流程设计方案,通过划分布尔电路的方式,由两个参与方各承担一半电路的混淆或分析工作,合作完成计算任务,分摊了安全两方计算协议中的计算压力.利用提出的可验证混淆电路分享方案,基于哈希函数等密码学工具,本协议保证了电路计算的正确性以及在恶意敌手模型下的安全性.与Emp-toolkit两方协议相比,本协议通信时延优化了 1％～9％,计算时延优化了 5％～22％,通信量优化了 40％～60％.
文献关键词：
混淆电路;秘密分享;掩码技术;布尔电路;安全两方计算
中图分类号：
作者姓名：
张宗洋;刘翔宇;李威翰;陈劳
作者机构：
北京航空航天大学网络空间安全学院 北京 100191
文献出处：
引用格式：
[1]张宗洋;刘翔宇;李威翰;陈劳-.基于可验证混淆电路的合作式安全两方计算协议)[J].计算机学报,2022(11):2433-2455
A类：
Halves,布尔电路,Emp
B类：
可验证,混淆电路,合作式,安全两方计算,恶意敌手,手模型,工作包,秘密分享,Three,比特,特技,来生,通信开销,流程设计,参与方,分析工作,分摊,计算压力,哈希函数,密码学,toolkit,通信时延,时延优化,通信量,掩码技术
AB值：
0.245842
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
