【摘 要】
：
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。设计安全协议时,协议的安全性验证是消除安全协议脆弱性
【机 构】
：
山东科技大学继续教育学院,山东科技大学信息工程系
论文部分内容阅读
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤。验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性。为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础。
其他文献
天津市静海县中小学素质教育基地坐落于静海县城西侧，交通便利，风景宜人。基地建成14年来，先后承办了310批、近34万人次的学生社会实践活动和军训任务，为中小学生的全面发展和新
为了减少集成电路密码芯片工作时的电磁信息泄漏,设计具有防护能力的加密芯片。在研究CMOS集成电路电磁辐射原理的基础上,分析了电磁辐射产生数据相关性的机理。以电偶极子为
目的:研究加味当归补血汤加减对糖尿病视网膜病变的疗效,并分析对患者血清细胞间粘附因子-1(Intercellular Adhesion Molecule-1,ICAM-1)、内皮素-1(Endothelin-1,ET-1)水平
代课教师是指没有事业编制的临时教师。代课教师产生的原因之一是地方政府的教育投入不够，而工资低廉的代课教师恰好解决了农村特别是偏远的西部省份的农村学校师资严重缺乏的
近几年，党和国家连续发出建设资源节约型、环境友好型社会的号召。人员高度密集、担负着育人任务、又处于消费地位的学校，特别是那些具有辉煌历史的名校，在其中应发挥何种作用呢
目的:探究消溃愈疡汤加减联合思连康治疗溃疡性结肠炎患者的影响。方法:选取我院2014年3月-2019年3月溃疡性结肠炎患者60例,根据治疗方案不同分为研究组(30例)、参照组(30例)
目的:探讨骨筋肉操结合穴位刺激预防下肢深静脉血栓形成。方法:选取2018年3月-2019年6月符合研究要求患者128例,结合入组及排除标准,将其随机分为对照组和研究组,分别为64例,
目的:探讨分析固冲止崩汤联合地屈孕酮在围绝经期异常子宫出血的治疗效果。方法:选择2017年4月-2018年4月治疗的围绝经期异常子宫出血患者85例作为对象,随机数字表分为对照组
(一) 中医的传统文化中的消极、保守成分对中医学的发展有着较大的束缚作用。 (二) 封闭结构的理论体系、模糊的概念,
听力是一项十分重要的语言技能．因为人们日常交际中有40％以上的时间用在听上，35％的时间用于说，16％的时间用于阅读，而仅有9％的时间用在写作上。语言学家亚力山大认为：要说就要先听，要写