关于一个数值比较协议的安全性证明

作者：邵秀凤; 李荣花

来源：中国科学院研究生院学报, 2011, (02): 262-265.

• 信息安全
• 安全协议
• 可证明安全
• 安全多方计算
• 百万富翁问题 information security
• secure protocol
• provable security
• secure multiparty computation
• millionaires’problem

Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明.我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.

• 单位
  中国科学院研究生院; 北京城市学院; 信息安全国家重点实验室