| 关于一个数值比较协议的安全性证明 |
| |
| 作者姓名： | 邵秀凤 李荣花 |
| |
| 作者单位： | 1. 北京城市学院人工智能研究所, 北京 100083;
2. 中国科学院研究生院信息安全国家重点实验室, 北京 100049 |
| |
| 摘 要： | Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明. 我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.
|
| 关 键 词： | 信息安全 安全协议 可证明安全 安全多方计算 百万富翁问题 |
| 收稿时间： | 2009-12-21 |
| 修稿时间： | 2010-06-25 |
On the security proof of a protocol for private integer comparison |
| |
| Authors: | SHAO Xiu-Feng LI Rong-Hua |
| |
| Institution: | 1. Artificial Intelligence Institute, Beijing City University, Beijing 100083, China;
2. State Key Lab of Information Security, Graduate University, Chinese Academy of Sciences, Beijing 100049, China |
| |
| Abstract: | In 1990 ACM Conference on Computer and Communications Security, Cachin proposed a protocol for private bidding and auctions and gave the security proof. We show that there is a mistake in Cachin’s security proof, and we correct the mistake. |
| |
| Keywords: | information security secure protocol provable security secure multiparty computation millionaires&rsquo problem |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
