Modular approach to the design and analysis of password-based security protocols

来源 :Science in China(Series F:Information Sciences) | 被引量 : 0次 | 上传用户:Vilmar
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper, a general framework for designing and analyzing password-based security protocols is presented. First we introduce the concept of “weak computational indistinguishability” based on current progress of password-based security protocols. Then, we focus on cryptographic foundations for password-based security protocols, i.e., the theory of “weak pseudorandomness”. Furthermore, based on the theory of weak pseudorandomness, we present a modular approach to design and analysis of password-based security protocols. Finally, applying the modular approach, we design two kinds of password-based security protocols, i.e., password-based session key distribution (PSKD) protocol and protected password change (PPC) protocol. In addition to having forward secrecy and improved efficiency, new protocols are proved secure. In this paper, a general framework for designing and analyzing password-based security protocols is presented. First we introduce the concept of “weak computational indistinguishability ” based on current progress of password-based security protocols. Then, we focus on cryptographic foundations for password-based security protocols, ie, the theory of “weak pseudorandomness ”. Further, based on the theory of weak pseudorandomness, we present a modular approach to design and analysis of password-based security protocols. Finally, applying the modular approach, we design two kinds of password-based security protocols, ie, password-based session key distribution (PSKD) protocol and protected password change (PPC) protocol. In addition to having forward secrecy and improved efficiency, new protocols are proved secure.
其他文献
研究了Nimonic C263合金在不同温度和应力条件下的恒载荷蠕变行为。结果表明,合金蠕变曲线在很短减速蠕变阶段后,既可表现出稳态蠕变阶段,最小蠕变速率,也可表现出加速蠕变阶
农村中小银行作为农村金融、普惠金融、民生金融的主力军,与地方经济社会发展联系密切.党的十九大以来,农村信用社坚持农村金融改革发展方向,以服务实体经济为出发点和落脚点
期刊
翻译会因文体的不同有自身的特点,在对《首组动词》部分内容进行翻译和研究的基础上,我们发现语言学著作有术语多,句式冗长,理论性强等特点,在翻译的时候,需要对这些因素适当地处理
  研究了抗氧化低膨胀GH783合金分别在650℃,700℃和750℃经1500h,3000h和5000h时效后的组织和性能热稳定性。结果表明:GH783合金在650℃具有较高的组织与性能热稳定性。650
会议
研究了抗氧化低膨胀GH783合金环件在700℃长期时效后的组织和性能的变化。结果表明,合金在700℃长期时效100 h~1 000 h后,强化相γ’有粗化的趋势,但比较缓慢;β相补充析出,
本文以基层畜牧兽医动物防疫工作的重点策略研究为主要内容进行阐述,结合当下基层畜牧业兽医动物防疫工作出现的问题为主要依据,首先分析了思想观念过于滞后、防疫队伍过于老
期刊
研究了喷射成形高温合金GH738的650℃总应变控制的低周疲劳性能。当应变幅控制在0.32%~0.40%时,合金直接进入循环稳定阶段。疲劳裂纹起源于试样表面,为单一点源。当应变幅控
针对难变形GH720Li合金的锻造加工工艺进行了试验摸索。结果表明:一定的加热温度,使其终锻温度控制在1020℃时,得到合金的强化相γ,相大小匹配、均匀分布、晶粒度8级或细于8
21世纪是知识经济时代,人才成为市场经济得以发展的关键.但是从根源讲,行政单位之间的竞争也是人才之间的竞争,所以行政单位重视人力资源管理,要发挥每位员工的优势作用.行政
  为了解新型难变形镍基高温合金(3)K151的铸态组织特点,并为制定均匀化工艺打下理论基础,本文利用光学显微镜、扫描电镜和能谱分析研究了(3)K151合金铸锭的偏析特征:通过110~1
会议