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

• 作者: 杨勇
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 算法 安全计算 恶意模型 协议 形式化证明 安全性 计算电路
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 58-65
• 页数: 8页
• 分类号: TP309.7
• 字数: 8700字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.03.010

摘要

为了提高恶意参与者模型下两方安全计算协议的效率,文中协议使用了简单的轮换映射,这样不仅可以检测恶意参与方输入的一致性,而且避免了检测一致性时由于图的全连接性带来的复杂度,从而与经典协议相比效率提高了近50％.此外,为了使协议的安全性得到更好的保证,在理想/现实对模型下,本文采用回退的方法,在OT12协议完全可模拟和知识证明等性质的基础上,用现实模型模拟理想模型的方法,给出了协议完整、严格的形式化证明和失败率分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨勇	中国电子科技集团公司第五十四研究所	33	79	4.0	8.0