基于口令的安全协议的模块化设计与分析

来源 :中国科学(E辑:信息科学) | 被引量 : 28次 | 上传用户:cao5556759
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先在分析基于口令的安全协议研究现状的基础上,提出了“弱计算不可分辨”概念,并以此为基础系统研究了基于口令的安全协议的理论基础—“弱伪随机性”理论;其次,以“弱伪随机性”理论为核心,建立了基于口令的安全协议的模块化设计与分析理论;最后,利用所建立的基于口令的安全协议的模块化设计与分析理论,设计了两类基于口令的安全协议,即基于口令的会话密钥分配协议和口令更换协议,这两类协议的最大特点是:实现效率高,具有可证明安全性,满足前向安全性.
其他文献
采用声光可调(AOTF)-近红外光谱(NIR)仪和Unscrambler化学计量学光谱分析软件,通过旋转扫描的方式测定了534个不同年份、不同地区、不同等级国产烤烟烟叶样品的NIR,采用PLS1
在对用于出口的履带式起重机进行设计时,必须考虑出口目的国安全标准中的规定,以满足认证的要求。介绍北美认证所引用的相关标准,概括主要标准的基本内容,对标准中描述提升机
基于两步反应动力学机理(包括燃料热解和燃料的氧化),建立了二维非稳态燃料填充床阴燃的数学模型.该模型既考虑了固相和气相之间的热传递,也考虑到了气体在多孔介质内扩散系
随着改革开放的扩大,经济的全球化,必然促进城市规模的扩大,交通需求的增长.原有道路的改建变得越来越频繁,而路面检测及评估分析在改建中起着举足轻重的作用.本文通过对广州
11月1日,2009年初冬的第一场雪,比以往来得早了一些.坐在书桌前,静静地阅读李宗浩教授的一本新书:(人民卫生出版社,2009).窗外飞舞的雪花,很快就使得大地上的一切都亮丽、干
PID控制混合动力电动汽车(HEV)动态过程,要达到控制要求时,力矩可能超出设计范围.提出了采用Smith预估器控制动态过程;该办法能克服大纯滞后,增强控制系统稳定性.SIMULINK仿
利用193nm LA-ICP-MS在20μm小斑束条件下对3个国际标准锆石样品和一个实验室内部的标准锆石样品进行了U-Pb年龄和20个微量元素的同时测定.测定结果显示,91500,GJ1和TEMORA1(
2009年2月赴韩国考察,对首尔大学医学部等7家医院进行了为期1周的参观学习,对韩国医院科学的管理机制,人性化的服务理念,高素质的医务人员印象深刻并深受启发.
在城市建设的过程中,临近地铁隧道的深基坑开挖越来越普遍.以实际工程为背景,探讨了地铁连续墙作为基坑支护的特点,以及在实际工程项目中的应用效果.从而表明为在深基坑的开
开发了模拟计算室内自由声场的软件,并据此分析影响自由场声学特性的因素,以便在设计过程中掌握和优化.根据计算结果说明,消声室内自由场的特性,是在房间中吸声构件特性和房