徐海霞
- 作品数：12 被引量：19H指数：3
- 供职机构：中国科学院研究生院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 可否认群密钥协商协议的一般化构造方式被引量：3
- 2011年
- 利用Schnorr零知识认证机制,给出了一个构造可否认群密钥协商协议的一般化构造方法。可以将这个一般化方法看作一个编译器,通过增加两轮的数据通信轮和一轮的数据验证轮,它可以将一个非认证的群密钥协商协议转化为一个可否认的群密钥协商协议。在协议轮数和计算量上并没有显著的增加,是一个高效的转化方式。在Random Oracle模型下给出了其安全证明和可否认性证明,一并给出的还有一个应用此编译器转化的具体实例。
- 张雅哲徐海霞李宝
- 关键词：群密钥协商
- 常数轮多项式互素多方安全判定协议被引量：1
- 2004年
- 以生成随机共享值、安全共享乘法与加法的常数轮协议为基础 ,给出有限域K上多项式的Shamir共享 ,并构造常数轮协议 ,使得网络可以安全判定K[x]中两个多项式是否互素 .所构造协议的安全性基于已知基本协议的安全性 .
- 何云筱徐海霞吕克伟李宝
- 非延展水银承诺方案(英文)
- 2007年
- 水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了soft解承诺阶段,soft解承诺阶段所公开的解承诺值不要求绑定性但是不能与真实的解承诺值冲突.讨论了多重非延展水银承诺方案.通常意义的非延展性是指敌手只允许存取一个承诺值,多重非延展性是指敌手可以存取任意数量的承诺值.已有结论说明多重非延展性是严格强于通常非延展性的安全性概念.采用多重非延展性的概念在于水银承诺方案本身固有的性质,给出多重非延展水银承诺方案的概念,以及基于多陷门水银承诺方案的一个具体构造.
- 徐海霞李红达李宝
- 关键词：承诺水银
- 选择解承诺方案
- 2007年
- 将抵抗选择解承诺攻击的承诺方案简称为选择解承诺方案,这种方案是通常意义下承诺方案复合的例子.本文给出选择解承诺方案在安全多方计算模型下基于模拟的安全性定义,并证明了新定义与原始定义是等价的.本文证明二义性承诺方案能够满足我们定义的安全性,进而可以构成安全的选择解承诺方案.
- 徐海霞李宝
- 关键词：二义性安全多方计算密码学
- 标准模型下可否认的群密钥协商协议
- 在密钥协商协议中，可否认性足一个旨在保护协议参与方的隐私安全的属性。
目前国际上和国内有关可否认性的群密钥协商协议的研究，均基于Random Oracle假设，本文中作者第一次给出了一个标准模型下可证明安全和可...
- 张雅哲徐海霞李宝
- 关键词：群密钥协商
- 多陷门水银承诺方案(英文)被引量：1
- 2008年
- 多陷门承诺方案是指一个陷门承诺族,对于整个族有一个主陷门,族中的每一个承诺方案有各自对应的具体陷门.水银承诺方案是通常意义下承诺方案的一种变形,对承诺方案要求的绑定性质有显著的放松.应用上述2个传统承诺方案的变形给出多陷门水银承诺方案的定义,并构造出基于强Diffie-Hellman假设的多陷门水银承诺方案.
- 徐海霞李红达李宝
- 关键词：水银
- NP问题的常数轮知识的零知识证明系统被引量：1
- 2010年
- 文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识的零知识证明系统的存在性,同时也是对(NP问题的)3轮零知识证明系统的存在性这一公开问题的一个肯定性答复.
- 李红达徐海霞李宝冯登国
- 关键词：零知识证明
- NP问题的最优轮复杂性知识的零知识证明
- 2012年
- NP问题已有的知识的(黑箱)零知识证明都是非常数轮的,因此,在标准的复杂性假设下,NP问题是否存在常数轮的(黑箱)知识的零知识证明是一个有意义的问题.本文对该问题进行了研究,在一定的假设下给出了HC问题的两个常数轮知识的零知识证明系统.根据Katz最近的研究结果,在多项式分层不坍塌的条件下,本文基于claw-free陷门置换给出的HC问题的5轮知识的零知识证明系统具有最优的轮复杂性.
- 李红达冯登国李宝徐海霞
- 关键词：零知识证明密码学
- 普适复合水银承诺方案
- 2008年
- 水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了模糊公开阶段,模糊公开阶段不要求绑定性但是不能与真实的公开阶段冲突.普适复合安全性基本框架最早由Canetti等人提出.普适复合能够保证更高等级的安全性,比如满足普适复合性质即能实现并发安全、自适应安全以及非延展安全等等.文中提出一种普适复合水银承诺方案的构造并且在公共参数模型中证明其安全性.文中的结论一方面深化了水银承诺方案的研究,另一方面回答了Gennaro和Micali提出的一个公开问题.
- 徐海霞李红达李宝
- 分布式密钥分发方案的安全性证明被引量：7
- 2005年
- 复合协议的安全性是当前国际上的热点问题.应用复合协议的观点证明了Daza等人提出的分布式密钥分发方案是安全的.该方案在抵抗被动敌手攻击方案的基础上添加了可验证秘密分享和零知识证明,以抵抗主动敌手的攻击,从而具有更高的安全性.
- 徐海霞李宝
- 关键词：密钥分发多方安全计算
