论文部分内容阅读
协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并且使用该方法对经典协议做了建摸、分析和检测,构造了攻击模型,证明了这种方法的有效性。
安全协议扩展Petri网模型及检测
【摘 要】
：
协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并
【机 构】
：
贵州大学电信学院
【出 处】
：
微计算机信息
【发表日期】
：
2007年27期
其他文献
武威医用重离子加速器是目前世界上最紧凑的重离子加速器治癌装置,同步环周长小至56.1 m,其中很多关键元件的安装定位精度要求达到亚毫米量级,四极透镜的定位精度要求0.1 mm
自从人们发现一种含合成可的松的眼药水、药膏对于换羽的影响后,有些兽医就开始充当巫师学徒的角色,配制起这种“神奇滴剂”。这些药在药房买不到,鸽友必须拜访某些兽医才能
基于多环境试验条件下的微光枪瞄检测技术一直是军备生产所关注的问题。由于振动、射击、冲击、跌落和高低温环境等载荷作用下,使微光枪瞄机械、光学和电性能结构及参数发生改变,导致微光枪瞄不能正常工作和使用。设计了多环境试验条件下的微光枪瞄检测与测试系统,对测试系统的光路进行了规划,给出了由CCD组成检测系统工作原理,分析了系统成像的详细过程。通过对平行光管和CCD变焦镜焦距的计算,并结合实际工程应用,其测
1 国内外烟草拔杆机应用现状国外烟草拔杆机的研制较早，始于20世纪70年代，以美国和日本发展较好。日本烟草拔杆机械主要由冈热公司生产，可实现单行和多行拔杆作业，采用拖拉机带动
通过对现有评价沥青混合料低温性能的试验方法和评价指标的对比,论述了低温弯曲和弯曲蠕变试验是较为经济可行的试验方法,破坏能是较好地评价沥青混合料低温性能的指标,并应
本文首先对网络平台的安全进行了分析。在此基础上提出了在网络安全方面，企业网络信息安全建设的一个行之有效的一个解决方案，同时还给出了一个具体的区域边界安全方案的具体模
以钛白粉厂废弃物配制的Ｇ—５土壤改良剂和以高分子化合物配制的ＨＰ—１土壤结构改良剂，能改善土壤结构性和孔隙性。Ｇ—５改良剂与牛粪配合施用的效果更好，ＨＰ—１改良剂主要提高原有团粒的水稳
作为人类情感的物化媒介，服饰以其自身与材料性能，向心性和离性，以及人体运动的关系色彩节奏等影响着服饰造型是柔软、流动，还是坚挺、干涩等不同气质。而服饰艺术的最大魅力就在
将新时期"回忆文革"散文作为一个独立的文学主题进行综合性研究,这在学术界还鲜有人为之.本文认为这类散文在审美风格上大致分为两类:一类是严明而悲凉地理性剖析,并赋予其强