软件学报

作者：李顺东，王文丽，陈明艳，汪榆淋

单位：李顺东，陕西师范大学 计算机科学学院, 陕西 西安 71011911,王文丽，陕西师范大学 计算机科学学院, 陕西 西安 71011902,陈明艳，陕西师范大学 数学与统计学院, 陕西 西安 71011903,汪榆淋，陕西师范大学 数学与统计学院, 陕西 西安 71011904

关键词：安全多方计算;保密比较;主动攻击;模拟范例;理想-实际范例;保密洗牌;零知识证明

基金：国家自然科学基金（61272435）

互联网、物联网和大数据的迅速发展，为数据共享带来了无限的机遇，也给私有数据的隐私保护带来了严峻的挑战.安全多方计算是数据共享中隐私保护的关键技术，是密码学的一个重要研究方向，也是国际密码学界研究的热点.保密比较两个数的大小是安全多方计算的一个基本问题，是构建其他隐私保护协议的一个基本模块.当比较的数较小时，还没有可靠的能够抵抗主动攻击的保密比较问题解决方案.很多应用场景中的参与者可能会发动主动攻击，因为尚没有抗主动攻击的保密比较协议，这些场景中的保密比较问题还无法解决.因而研究抗主动攻击的保密比较问题解决方案有重要理论与实际意义.提出了一种加密-选择安全多方计算模式和编码+保密洗牌证明的抵抗主动攻击方法.在此基础上，设计了半诚实模型下安全的保密比较协议，用模拟范例证明了协议的安全性；分析了恶意参与者可能实施的主动攻击，结合ElGamal密码系统的乘法同态性、离散对数与保密洗牌的零知识证明设计阻止恶意行为的措施，将半诚实模型下安全的保密比较协议改造成抗主动攻击的保密比较协议，并用理想-实际范例证明了协议的安全性.最后分析了协议的效率，并通过实验验证协议是可行的.

来源：2022年第12期

《软件学报》期刊编辑部

查看软件学报杂志2022年第12期