【摘 要】
：
基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话
【机 构】
：
上海交通大学计算机科学与工程系,西安电子科技大学通信工程系
【基金项目】
：
the National Hish-Tech Research and Development Plan of China under Grant No.2006AA01Z422 （国家高技术研究发展计划（863））.
论文部分内容阅读
基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性。利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用。
其他文献
大学生公寓文化于中国是伴随改革开放特别是高校后勤社会化而迅速发展起来的一种新兴文化，本文论述了其特征、功能及其文化建设中存在问题及相应对策。
结合生活实际,创设数学教学情境,使抽象的数学问题具体化、生活化,使问题的解决更加直观化,最终获得事半功倍的教学效果。
新课程的实施,是我国基础教育的一次重大改革,新的理念、新的教学方法、新的教材对广大教育工作者提出了更高、更新的要求。尤其是高校体育老师要迅速投入到新课程的教材中,
翻转课堂又叫＂反转课堂＂,随着教育界的改革,这种教学模式被广泛认同。其主要特点就是使信息技术与课堂教学相结合,利用这种新颖的教学方法提高教学的有效性。在这种教学模式下,
提出了一种估计本体包容性（comprehensiveness）的方法。与一般方法不同，该方法不是简单地把本体中类和属性的个数当成本体的包容性，而是通过对语料库的统计分析，发掘出本体词汇在
体育游戏教学法是教师以体育教学大纲为依据,以具有趣味性的游戏为载体,引导组织学生参与体育游戏,在轻松的氛围中完成教学任务的一种教学方法。体育游戏集娱乐性、普及性、
摘 要：随着社会科学技术的发展和新课改的深入，在教学中应用先进理念和技术，进而提升教学质量成为现阶段教师关注的重点。多媒体技术在导入新课、突破难点、培养学生探究能力等方面有着其他教学手段所无法比拟的特点。因此，在小学数学课堂上有效地应用现代多媒体技术，可以营造一个生动形象的教学氛围，激发学生的学习热情，促进师生交流互动，提升小学数学课堂质量和效率。 关键词：多媒体技术；小学数学；新课导入 一、