论文部分内容阅读
给出SPIN模型检测协议的验证步骤，使用其分析验证SAS协议的安全属性和数据流行为属性，以及NS公钥协议的机密性和认证性。结果成功发现SAS协议数据流的缺陷和NS公钥协议的攻击路径。
基于SPIN的SAS协议和NS公钥协议分析
【摘 要】
：
给出SPIN模型检测协议的验证步骤，使用其分析验证SAS协议的安全属性和数据流行为属性，以及NS公钥协议的机密性和认证性。结果成功发现SAS协议数据流的缺陷和NS公钥协议的攻击路
【机 构】
：
桂林电子科技大学计算机系
【出 处】
：
广西科学院学报
【发表日期】
：
2008年4期
其他文献
地理课程标准要求我们着眼于学生创新意识和实践能力的培养，充分重视校内外课程资源的开发和利用，着力拓宽学习空间，倡导多样的地理学习方式，鼓励学生自主学习、合作交流、积极探究。研究性学习是以学生为主采用研究性学习方式开展教学的基本教学形式，是让学生主动地探索、发现和体验。学习对大量信息进行收集、分析、归纳、整理和判断，从而培养学生发现问题、提出问题、解决问题的能力。其主体是学生，而研究的客体是课本或我
本文三部分,一证中国南戏形成的机缘、称谓、特点.二证梨园戏是中国南戏的始创剧种.其内容包括梨园戏形成的机缘:宋代福建经济、文化、艺术大发展;中原人口几次入闽;宗正司两
高三总复习期间，学生学习紧张且压力大，尤其是高一、高二化学基础较薄弱的学生，到高三总复习时，往往感到力不从心。化学复习知识点多，且又很零散，学生往往顾此失彼，容易失去学习信心。如何有效地提高化学复习？笔者现结合多年高三化学教学实践，谈谈指导学生复习的点滴体会。 一、一本全面复习法 刚升高三，总复习资料雪花般纷沓而至，准确选取复习资料，排除其他资料的干扰，就显得尤为重要。一本全面复习法，就是要求
邓小平理论、“三个代表”重要思想和科学发展观等重大战略思想之所以能共同形成中国特色社会主义理论体系，是因为它们有着内在的本质的联系：以社会主义初级阶段的基本国情为立
课堂教学效果的重要影响因素是师生之间的互动。能否有效互动关键在于摒弃教学过程中的一些多余环节。课堂教学中，教师与学生的双向互动要做到有效，是需要教师花费心思的一件事情，同时也是当前教学的重中之重。现就物理课堂教学的有效互动谈几点看法。一、建立平等对话的师生关系教学是一种思想活动，它既传播思想，又产生思想，更要进行思想（这里指思想行为）。作为知识产物的思想，它并非是一种主观个人的产物固定在大脑之中，
本文对于回族歌曲的典型音调进行了理论梳理.首先对回族民间音乐的流失和花儿的属性问题进行了论述,并从"花儿"中提炼出可以视为回族和西北地区各民族所共用的典型音调.对回
数学是学习现代科学技术必不可少的基础和工具，在日常生活、生产建设和科学研究中有着广泛的应用.掌握一定的数学基础知识和基本技能是我国公民应具备的文化素养之一.所以，数学教育在九年义务教育中具有十分重要的地位.而数学课堂是学生学习数学知识、技能的重要阵地.如何充分利用好短短的45分钟，调动学生学习的积极性和主动性呢？笔者认为，应该让教材“动”起来，学生“动”起来，教师“动”起来，从而让数学课堂真正“动
澳大利亚研究人员通过实验发现，食用大蒜有助于部分高血压患者控制血压。研究人员对在3～6个月中坚持定时服用不同种含有大蒜主要活性成分“蒜素”营养补充剂的受试者进行测定。
第三交响曲是亨策早期交响乐创作中的代表之作.在这部作品中,序列技术规则的解构、序列与主题动机的互渗、传统和声体系与固定中音的"移动和弦"的结合颇具特点,印象风格、新