论文部分内容阅读
认证协议的成功设计是网络安全领域的关键问题之一,对其进行形式化分析是当前研究的热点.在已知协议的运行模式的基础上,给出了基于Petri网的认证协议分析的具体方法,并通过一个实例说明了该方法的有效性.
基于Petri网的认证协议分析
【摘 要】
：
认证协议的成功设计是网络安全领域的关键问题之一,对其进行形式化分析是当前研究的热点.在已知协议的运行模式的基础上,给出了基于Petri网的认证协议分析的具体方法,并通过
【机 构】
：
山东科技大学信息学院,山东农业大学信息学院
【出 处】
：
系统仿真学报
【发表日期】
：
2005年z1期
【基金项目】
：
国家自然科学基金资助课题(60173053)
其他文献
摘要：大学生自主创业不仅能够提升个人能力，提高自身素质，同时也可为社会提供就业岗位，缓解就业压力。大学生创业活动在体现时代进步的同时，也推动了社会技术的变革和社会经济效益的提高。 关键词：大学生；创业；社会影响 中图分类号：G645文献标志码：A文章编号：2095-9214（2016）07-0255-01一、大学生创业环境分析 （一）创业的自身环境 中国在经过三十多年的改革开放后各方面在很
摘 要：随着我国走向国际化，英语的学习的实用性要求越来越高，高尔夫运动是一项国际性的运动项目，高尔夫英语课程的学习对从事高尔夫运动的专业人才有着极大的帮助。因此高尔夫英语课程作为一门专业性、职业性要求极高的课程，为了适应职业化英语能力的培养需求，我们对高尔夫英语课程进行了翻转课堂的教学模式研究，以帮助学生提高职业英语能力的提高。 关键词：翻转课堂；高尔夫英语；职业化英语教育 中图分类号：G64
通过对高性能混凝土施工中常出现的问题进行总结,分析其缺陷产生原因,提出施工质量控制措施,确保高性能混凝土施工质量。
Through summarizing the frequently appeared pro
作者简介：李丹（1989.07-），女，汉族，河北保定人，助教，东北大学秦皇岛分校，东北大学秦皇岛分校计算机与通信工程学院，研究方向：学生思想政治教育。 赵舒怡（1991.11-），女，汉族，河北昌黎人，助教，香港浸会大学，东北大学秦皇岛分校计算机与通信工程学院。 朱志林（1996.11-），男，汉族，湖北黄冈人，本科，东北大学秦皇岛分校，计算机与通信工程学院。 李弘诚（1997.09-），
文章为了研究叠合板脱模起吊力及其影响因素,进行了不同尺寸、不同养护龄期、不同粘结条件下的叠合板脱模实验。实验表明脱模起吊力也存在尺寸效应,大尺寸叠合板脱模起吊力与
文章在分析地铁站台火灾特点、乘客疏散特点、烟气扩散规律、现行地铁设计规范和合肥轨道交通1号线综合联调冷烟、热烟试验的经验上,总结提出了适合地铁车站站台火灾烟气控制
建筑物抵御地震破坏有抗震、隔震与减震。碰撞减震属减震的一种，它是由建筑楼面的水平往复摆动带动其内可滑移体的反向运动，通过可滑移体反复碰撞建筑后的能量交换来达到减少建
摘 要：根据《发展经济学》课程内容和教学目标，试图通过教学实践创新探索适合发展经济学的教学方法。教学实践中通过教学方式多元化的选择与实践，将专题研究讨论与课堂教学结合起来，能有效地提升了教学质量。 关键词：发展经济学；教学方式；专题研讨 《发展经济学》是经济学专业本科阶段必修的一门专业理论课程。教学目标是使学生掌握发展经济学的基本理论，认识广大发展中国家在谋求经济社会发展过程中所面临的主要问题
摘 要：广西是我国最大的海水珍珠养殖基地，珍珠产业是广西北部湾地区经济的支柱产业，充分利用广西珍珠的产业优势，对《珍珠学》课程进行教学改革，提高本专业的办学灵活性，在我校宝石与材料工艺学专业办学特点和基础设施基础上，分析课程教学过程中存在的主要问题，在珍珠养殖、分级和加工等方面加强实践力度，对《珍珠学》课程的课程性质、教学内容、教学手段等方面的改革进行探讨。力图培养适合广西珍珠市场发展需要的创新创
摘要：本文通过在建筑设备课程方面的教学实践使学生的专业技术素质得到提升，进一步明确了学生的职业岗位能力，在职业岗位上以必需和够用为原则，确定理论知识的范围，在知识的衔接中做好了过渡。 关键词：职业教育；实践教学；岗位能力 中图分类号：G712文献标志码：A文章编号：2095-9214（2016）12-0139-01 职业教育是目前我国大力发展的教育门类，是随着生产方式的发展变化而逐步发展的，