分布式密钥分发方案的安全性证明.PDFVIP

1000-9825/2005/16(04)0570 ©2005 Journal of Software 软 件 学 报 Vol.16, No.4 ∗ 分布式密钥分发方案的安全性证明 + 徐海霞 , 李 宝 (信息安全国家重点实验室( 中国科学院研究生院),北京 100049) Security Proof for Distributed Key Distribution Scheme + XU Hai-Xia , LI Bao (State Key Laboratory of Information Security (Graduate School of Chinese Academy of Sciences), Beijing 100049, China) + Corresponding author: Phn: +86-10 Fax: +86-10 E-mail: hxxu@, Received 2003-07-29; Accepted 2003-11-17 Xu HX, Li B. Security proof for distributed key distribution scheme. Journal of Sof tware, 2005,16(4):570−576. DOI: 10.1360/jos160570 Abstract: Security for composition of protocols is hotspot of international scope. By using composition method, it is proved that the distributed key distribution scheme introduced by Daza et al is secure. The scheme appends verifiable secret sharing and zero-knowledge proofs to the basic one which fits in the case of passive adversary to prevent from the action of an active adversary. Key words: key distribution; composition of protocol; multi-party secure computation 摘 要: 复合协议的安全性是当前国际上的热点问题.应用复合协议的观点证明了 Daza 等人提出的分布式密钥 分发方案是安全的.该方案在抵抗被动敌手攻击方案的基础上添加了可验证秘密分享和零知识证明,以抵抗主动 敌手的攻击,从而具有更高的安全性. 关键词: 密钥分发;复合协议;多方安全计算 中图法分类号: TP309 文献标识码: A 群组用户为了在不安全信道上实现安全通信,要应用对称或公钥密码系统加密传输的消息.应用对称密码 算法时,一个重要的问题是如何构造有效协议给群组中每个用户发送共用密钥.Needham 和 Schroeder 在文献[1] 中的解决方案是:设置一个服务器负责分发和管理共用密钥.文献[2]将这种密钥分发中心的思想形式化.在这种 模型中,一个单独的服务器负责给群组用户分发密钥的模式有一些弱点,服务器可能成为瓶颈而且它必须可信. 为了克服这些弱点,有很多解决方案被提出,其中分布式密钥分发中心是应用最多的方法之一.文献[3]最早介绍 了分布式密钥分发中心模型,这个模型中把单个服务器的任务分配给一组服务器.适用于这种模型的方案称为 分布式密钥分发方案.文献[4]提出一种新的分布式密钥分发方案,其基本方案只能抵抗被动敌手(或称为“偷听” ∗ Supported by the National Natural Science Foundation of China under Grant No( 国家自然科学基金); the National High-Tec