一种恶意模型下高效的两方安全计算协议  

An efficient two-party secure computation protocol under the malicious model

作　　者：杨勇[1] 

机构地区：[1]中国电子科技集团公司第五十四研究所,河北石家庄050081

出　　处：《计算机工程与科学》2013年第3期58-65,共8页Computer Engineering & Science

摘　　要：为了提高恶意参与者模型下两方安全计算协议的效率,文中协议使用了简单的轮换映射,这样不仅可以检测恶意参与方输入的一致性,而且避免了检测一致性时由于图的全连接性带来的复杂度,从而与经典协议相比效率提高了近50%。此外,为了使协议的安全性得到更好的保证,在理想/现实对模型下,本文采用回退的方法,在OT12协议完全可模拟和知识证明等性质的基础上,用现实模型模拟理想模型的方法,给出了协议完整、严格的形式化证明和失败率分析。For the sake of improving the efficiency of the secure two-party computation protocol un- der the malicious model, this protocol uses the simple permutation projection. Therefore, it can not only check the input consistency of the malicious party , but also avoid the complexity of full connectivity when checking the input consistency. Compared with the classic protocol, it improves the efficiency by

关 键 词：算法 安全计算 恶意模型 协议 形式化证明 安全性 计算电路 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]