国家高技术研究发展计划(2006AA01Z427)
- 作品数：8 被引量：15H指数：3
- 相关作者：李宝徐海霞李红达江灿明李明更多>>
- 相关机构：中国科学院研究生院中国科学院山东大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 多陷门水银承诺方案(英文)被引量：1
- 2008年
- 多陷门承诺方案是指一个陷门承诺族,对于整个族有一个主陷门,族中的每一个承诺方案有各自对应的具体陷门.水银承诺方案是通常意义下承诺方案的一种变形,对承诺方案要求的绑定性质有显著的放松.应用上述2个传统承诺方案的变形给出多陷门水银承诺方案的定义,并构造出基于强Diffie-Hellman假设的多陷门水银承诺方案.
- 徐海霞李红达李宝
- 关键词：水银
- 非延展水银承诺方案(英文)
- 2007年
- 水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了soft解承诺阶段,soft解承诺阶段所公开的解承诺值不要求绑定性但是不能与真实的解承诺值冲突.讨论了多重非延展水银承诺方案.通常意义的非延展性是指敌手只允许存取一个承诺值,多重非延展性是指敌手可以存取任意数量的承诺值.已有结论说明多重非延展性是严格强于通常非延展性的安全性概念.采用多重非延展性的概念在于水银承诺方案本身固有的性质,给出多重非延展水银承诺方案的概念,以及基于多陷门水银承诺方案的一个具体构造.
- 徐海霞李红达李宝
- 关键词：承诺水银
- 高效率的非交互OT_n^k协议及其应用被引量：3
- 2008年
- 在Cheng-Kang Chu和Wen-Guey Tzeng设计的OTnk协议的基础上提出了一个非交互的OTkn协议.该协议降低了通信复杂度和计算复杂度,接收方的安全性是无条件的,发送方的安全性在判定Diffie-Hellman问题假设下是计算安全的;相比Cheng-Kang Chu和Wen-Guey Tzeng的OTnk协议效率更高.同时修正和给出协议安全性的完整证明.基于所提出的非交互OTnk协议设计了一个数字产品秘密交易机制,解决了产品价格不一致时的数字产品交易问题.
- 秦静李丽李宝
- 关键词：不经意传输协议
- NP问题的常数轮知识的零知识证明系统被引量：1
- 2010年
- 文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识的零知识证明系统的存在性,同时也是对(NP问题的)3轮零知识证明系统的存在性这一公开问题的一个肯定性答复.
- 李红达徐海霞李宝冯登国
- 关键词：零知识证明
- 普适复合水银承诺方案
- 2008年
- 水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了模糊公开阶段,模糊公开阶段不要求绑定性但是不能与真实的公开阶段冲突.普适复合安全性基本框架最早由Canetti等人提出.普适复合能够保证更高等级的安全性,比如满足普适复合性质即能实现并发安全、自适应安全以及非延展安全等等.文中提出一种普适复合水银承诺方案的构造并且在公共参数模型中证明其安全性.文中的结论一方面深化了水银承诺方案的研究,另一方面回答了Gennaro和Micali提出的一个公开问题.
- 徐海霞李红达李宝
- 求解双基链的改进型贪心算法被引量：4
- 2010年
- 为了提升贪心算法的表现,更有效地求解整数的双基展开,文中采用了2-LineSearch方法,将树形分支结构引入了贪心算法.改进加速了贪心算法的收敛,使得在相同输入下,新算法返回的双基表达式的长度比普通的贪心算法减少了8%以上,在椭圆曲线标量乘法的计算代价方面也获得了至少2%的收益.
- 李明王鲲鹏
- 关键词：标量乘法贪心算法椭圆曲线密码
- 秘密认证中的可否认性问题
- 2009年
- 针对一类隐私性问题,一些特定组织中的成员只愿意与本组成员进行一些交流,或者发布一些请求;接收方不是该小组的成员时,不能获知消息;当双方在一个小组时,消息能够被阅读并要求经过认证;通信结束时,发送方不希望接收方向其他人证明他曾发送某请求.目前所有的相关研究都不能很好地解决这类问题.我们形式化地描述了这个问题,构造了一个非交互的可否认的秘密认证协议,并证明了该协议的安全性和可否认性.
- 唐强姬东耀
- 关键词：隐私保护可否认认证可证安全
- 无线传感器网络的分布式用户认证机制被引量：6
- 2008年
- 针对无线传感器网络的用户认证问题给出了一套分布式的认证方案.此方案利用自我验证密码系统(self-certified key cryptosystems)来建立对等密钥,在对等密钥建立的基础上给出了两种不同类型的认证:本地认证和远端认证.认证方案不但具有很强的安全性,而且由于具有较低的通信与计算代价,从而很容易在传感器网络中实现.
- 江灿明徐海霞李宝
- 关键词：无线传感器网络用户认证密钥协商
