作者：杨勇算法安全计算恶意模型协议形式化证明安全性计算电路
摘要：为了提高恶意参与者模型下两方安全计算协议的效率，文中协议使用了简单的轮换映射，这样不仅可以检测恶意参与方输入的一致性，而且避免了检测一致性时由于图的全连接性带来的复杂度，从而与经典协议相比效率提高了近50％。此外，为了使协议的安全性得到更好的保证，在理想／现实对模型下，本文采用回退的方法，在OT12协议完全可模拟和知识证明等性质的基础上，用现实模型模拟理想模型的方法，给出了协议完整、严格的形式化证明和失败率分析。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
