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

doi:10.7523/j.issn.2095-6134.2011.2.019

中国科学院大学学报 ›› 2011, Vol. 28 ›› Issue (2): 262-265.DOI: 10.7523/j.issn.2095-6134.2011.2.019

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

邵秀凤¹, 李荣花²

1. 北京城市学院人工智能研究所, 北京 100083;
2. 中国科学院研究生院信息安全国家重点实验室, 北京 100049

收稿日期:2009-12-21 修回日期:2010-06-25 发布日期:2011-03-15

On the security proof of a protocol for private integer comparison

SHAO Xiu-Feng¹, LI Rong-Hua²

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

Received:2009-12-21 Revised:2010-06-25 Published:2011-03-15

摘要/Abstract

摘要：

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

关键词: 信息安全, 安全协议, 可证明安全, 安全多方计算, 百万富翁问题

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.

Key words: information security, secure protocol, provable security, secure multiparty computation, millionaires&rsquo, problem

中图分类号:

TP301

邵秀凤, 李荣花. 关于一个数值比较协议的安全性证明[J]. 中国科学院大学学报, 2011, 28(2): 262-265.

SHAO Xiu-Feng, LI Rong-Hua. On the security proof of a protocol for private integer comparison[J]. , 2011, 28(2): 262-265.

[1]	王国华, 李拓, 张三国, 史祎诗. 双随机相位加密系统的无约束最优化攻击[J]. 中国科学院大学学报, 2016, 33(5): 604-611.
[2]	傅长明, 杨玉花, 李拓, 陈岳东, 程栋, 王雅丽, 史祎诗. 基于标量衍射理论的图像解密三维信息构造方法[J]. 中国科学院大学学报, 2012, (6): 757-766.
[3]	谢涛, 武传坤. 一种无证书的家庭基站认证方案[J]. 中国科学院大学学报, 2012, 29(1): 141-144.
[4]	潘嘉昕, 马昌社, 王立斌. 基于口令的高效语义安全群密钥交换协议[J]. 中国科学院大学学报, 2010, 27(4): 547-555.
[5]	史祎诗, 王雅丽, 肖俊, 杨玉花, 张静娟. 双位相密钥衍射系统用于旋转抛物面包围三维信息加密的研究[J]. 中国科学院大学学报, 2010, 27(3): 414-419.
[6]	王鹏. 一个关于MAC伪随机性与不可伪造性的注记[J]. 中国科学院大学学报, 2010, 27(2): 263-266.
[7]	荆巍巍，黄刘生，姚亦飞，徐维江. 保护私有信息的统计量化规则挖掘[J]. 中国科学院大学学报, 2008, 26(6): 771-780.
[8]	黄亮　冯登国　张敏. 一个基于安全模型的测试用例生成工具[J]. 中国科学院大学学报, 2007, 24(3): 300-306.
[9]	徐海霞李宝. 选择解承诺方案[J]. 中国科学院大学学报, 2007, 24(1): 106-113.
[10]	张志芳. 乘性单调张成方案[J]. 中国科学院大学学报, 2006, 23(6): 827-832.
[11]	王芷玲; 张玉清; 杨波. 公平交换协议设计原则[J]. 中国科学院大学学报, 2006, 23(4): 555-560.
[12]	黄征,郑东, 陈克非. 多拍卖物的无收据密封式电子拍卖协议[J]. 中国科学院大学学报, 2005, 22(1): 83-89.
[13]	张兴兰. 带容错性的门限签名方案[J]. 中国科学院大学学报, 2004, 21(3): 398-401.
[14]	冯登国, 范红. 安全协议形式化分析理论与方法研究综述[J]. 中国科学院大学学报, 2003, 20(4): 389-406.
[15]	孙海波, 林东岱. 基于单向陷门函数的TMN协议的改进[J]. 中国科学院大学学报, 2002, 19(3): 254-262.

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

On the security proof of a protocol for private integer comparison

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

访问统计

联系我们