基于项节点图模型的前向安全性分析

来源 :2003中国计算机大会 | 被引量 : 0次 | 上传用户:wendy_83090905
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前对基于口令的密钥交换协议的安全性分析大多只考虑了基本安全性而没有考虑前向安全性;口令的泄漏不会会导致旧的会话密钥的泄漏;长期秘密的泄漏不会导致口令的泄漏.文中对这类协议的前向安全性进行了讨论.提出一个项节点图模型,在这个模型下,形式化证明了EKE协议的前向安全性,并指出A-EKE协议中存在的前向安全性漏洞,基于项节点图给出其不意攻击路径并提出了修改方法.项节点模型可以很容易的进行程序实现,实现自动化分析.
其他文献
综合实践活动课程承载着新课程的核心理念和改革目标。"初中综合实践活动课程开发与实施研究"从初中综合实践活动课程开发、课程实施、课程评价三个维度展开研究,其主要研究
目的观察颈肩枕部针灸推拿结合醋热疗法治疗颈椎病的临床疗效。方法将153例颈椎病患者按匹配原则分为治疗组和对照组,治疗组以电针灸、推拿、醋热疗、香丹注射液静点,对照组采
《基于核心素养的中职学校外语课程教学改革实践研究》这一课题,基于中职学生核心素养综合而有效的养成,讨论与学习了大量文献资料,深入学校、课堂、校内外实训实习基地等实
案例1:《认识角》课后检测rn在最大的角下面打“√”,在最小的角下面画“○”.rn抽样10人,其中有4人认为第一个角最小,追问学生为什么这么想,有3人是沉默,不知道怎么表达,但
基于口令认证的密钥交换协议利用一个弱的口令实现安全通信和密钥交换.本文在串空间理论模型中引入描述DH问题的方法以及描述猜测攻击的攻击者能力,从而可以对基于口令认证的
会议
Rivest和Shamir在1996年提出了一个基于贷记、采用一些hash值(称为Payword链)来表示电子货币的小额支付方案.它是一种公正的、离线的、且目前应用最广泛的电子现金方案,但是,
素质教育背景下,小学语文教学模式显然不能满足当前教育形势的要求.因此需要不断创新原有的教学模式,以便适应新时代素质教育发展的要求.主要分析递进循环式教学模式在小学语
初中英学科的学习可以分几大部分,主要包括听力、选择、完形、阅读、翻译以及作文.初中阶段对听力的考察主要目的是为了考察学生对英语语言的准确把握,以及学生的日常交流能
班级是学校教育的重要组织形式,班级管理是学校管理中的重点工作.班主任作为班级管理的组织者、领导者和教育者,是学校中全面负责一个班级学生的思想、学习和生活等工作的教
语文是小学阶段的重要学科,而三年级语文的学习在整个小学语文学习阶段起着承上启下的作用.如何让学生能够更加高效的进行预习,提高语文的学习能力是所有语文教师急需探讨的