对Yahalom-Paulson协议的分析与改进

来源 :中国科学技术大学学报 | 被引量 : 0次 | 上传用户:zhongqiwen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对原始Yahalom-Paulson协议和Backes与Pfitzmann的简化Yahalom-Paulson协议进行分析,指出各自协议中存在的漏洞.原始协议中存在类型缺陷攻击,简化协议中存在重放攻击导致协议参与实体间会话密钥不一致.对Yahalom-Paulson协议作出改进并使用串空间理论证明改进后协议的正确性.
其他文献
根据结构稳定理论导出了钢柱在热-力耦合作用下的振幅计算式,探讨了温度、柱阻尼、柱的尺寸效应、激振频率及纵向惯性力对钢柱动力性能的影响,提出了避免或减小钢柱振动的一些
提出一种基于多极边界元法(FM-BEM)的规划-迭代型不完全广义极小残值法(简称IGMRES(m)并建立其收敛性理论.新求解算法采用截断技术,在迭代时仅使用前面计算出的部分向量构造新的递推
英国第三季度GDP环比增长0.4%,好于预期;GDP同比初值1.5%,符合预期。英国统计局表示,服务业为三季度的经济数据做出最大的贡献,其中电脑编程、汽车和零售贸易表现抢眼。三季度制造业
在我国教学事业不断发展的背景下,在当前教学工作中更加注重学生的全面发展,其中在药理学教学中也开始采用多样化的教学手段,而合理地利用PBL教学能够更好地激发学生的学习兴
随着我国城市化进程的推进,人口急剧增加,对环境造成一定影响,河道作为城市环境重要组成部分,河道污染也成为一个备受关注的社会话题,基于这种情况下,城市应开展对河道的生态
男,1955年出生于景德镇。江西赣州人。中国工艺美术大师、享受国务院政府特殊津贴专家。“全国先进工作者”,荣获全国“五一”劳动奖章,江西省突出贡献人才荣誉称号。教授级工艺美术师(二级教授)。景德镇陶瓷职工大学美术系,现任景德镇陶瓷研究所所长。赖德全先生从事陶瓷艺术三十多年,擅长色釉、粉彩、指画、民间青花装饰,尤其是他首创的釉上珍珠彩艺术装饰工艺技术的研究开发,填补了景德镇陶瓷釉上装饰的一项空白。珍
熊军江西省工艺美术大师,江西省高级工艺美术师。青年陶艺家,艺名梦静,号龙虎山人,西苑轩主。1991年毕业于江西师范大学美术系。景德镇市美协常务理事副秘书长,景德镇陶瓷艺术
10月24日,MSCI发布了纳入A股的指数MSCI China A Inclusion Indexes(MSCI纳入A股指数),这还只是第一步。接下来的12月1日,"MSCI中国A股国际大型股指数"将更名为"MSCI中国A股大型股
在超对称量子力学的框架下,通过利用一种特殊的边界条件,给出了Lefschetz不动点公式的一个物理证明.回顾了黎曼流形上的N=1超对称量子力学系统,并将Hodge算子实现为Fock空间
中国10月官方制造业PMI为51.6,虽不及预期和前值,但仍高于去年同期0.4个百分点,达到今年均值水平,继续保持扩张的发展态势。统计局解读称:一是生产和市场需求增速有所放慢;二