分享到:

标准模型下可证安全的加密密钥协商协议

密钥加密协议的目的是利用安全性低的口令协商安全性高的密钥,进而利用密钥对以后的通信进行加密或身份认证,从而实现安全通信.现有的密钥加密协议大多缺乏安全证明,或者仅在Random Oracle模型下证明了协议的安全性.与Random Oracle模型下的协议相比,标准模型下可证安全的EKE(encrypted key exchange)协议虽然不需要Random Oracle假设,但它们都对参与方的计算能力要求较高,协议规则也更为复杂.从David P.Jablon在“Extended Password Key Exchange Protocols Immune to D  (本文共8页) 阅读全文>>

上海交通大学
上海交通大学

基于双线性配对的加密方案及密钥协商协议

2000年,Sakai等学者,以及Joux分别开创性地利用双线性配对构造出静态(非交互式)身份基密钥共享方案和一轮三方密钥协商协议,解决了公钥密码学界的两个著名难题。从那以后,双线性配对作为一种基本工具在设计崭新密码方案方面的有效作用不断被挖掘出来,出现了大量新颖而又实用的密码方案。例如,身份基加密方案、无证书加密方案、短签名方案、双方及多方身份基密钥协商协议等等。利用双线性配对构造各种新型密码方案的研究,是当前公钥密码学研究领域的一个热点。另外,基于计算复杂性理论的可证安全技术也已成为分析这些新提出方案安全性的一种必要手段。本文工作围绕基于双线性配对的新型密码方案的设计与可证安全展开,主要研究内容分为两大部分:(1)公钥加密方案,包括身份基加密方案和可托管公钥加密方案;(2)双方身份基认证密钥协商协议,分别包括随机预言模型下和标准模型下安全的协议。主要研究成果如下:一、高效身份基加密方案的设计与分析。深入探讨了身份基加密方案的...  (本文共111页) 本文目录 | 阅读全文>>

《西南民族大学学报(人文社科版)》2007年S1期
西南民族大学学报(人文社科版)

科学语篇可证性的哲学探究

本文依据Willett的可证性理论框架,对科学语篇中的可证性进行哲学意义上的探究。认为,科学语篇中的可证性...  (本文共4页) 阅读全文>>

《数学学习与研究》2016年24期
数学学习与研究

对一个几何定点问题的研究与引申

2016年我校高三统测卷理科第20题是一个关于椭圆的...  (本文共1页) 阅读全文>>

《数学教学》1992年02期
数学教学

数学小幽默

(一)证题妙法老师:请说出几种常用的数学证题方法。学生:老师,您常用的证题方法有:左式=右式、...  (本文共1页) 阅读全文>>

《数理天地(初中版)》2016年01期
数理天地(初中版)

平行四边形的性质应用四则

...  (本文共1页) 阅读全文>>

《数理天地(高中版)》2016年03期
数理天地(高中版)

椭圆中和斜率相关的五个结论

...  (本文共2页) 阅读全文>>