论文部分内容阅读
协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并且使用该方法对经典协议做了建摸、分析和检测,构造了攻击模型,证明了这种方法的有效性。
安全协议扩展Petri网模型及检测
【摘 要】
：
协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并
【机 构】
：
贵州大学电信学院
【出 处】
：
微计算机信息
【发表日期】
：
2007年27期
其他文献
武威医用重离子加速器是目前世界上最紧凑的重离子加速器治癌装置,同步环周长小至56.1 m,其中很多关键元件的安装定位精度要求达到亚毫米量级,四极透镜的定位精度要求0.1 mm
基于多环境试验条件下的微光枪瞄检测技术一直是军备生产所关注的问题。由于振动、射击、冲击、跌落和高低温环境等载荷作用下,使微光枪瞄机械、光学和电性能结构及参数发生改变,导致微光枪瞄不能正常工作和使用。设计了多环境试验条件下的微光枪瞄检测与测试系统,对测试系统的光路进行了规划,给出了由CCD组成检测系统工作原理,分析了系统成像的详细过程。通过对平行光管和CCD变焦镜焦距的计算,并结合实际工程应用,其测
通过对现有评价沥青混合料低温性能的试验方法和评价指标的对比,论述了低温弯曲和弯曲蠕变试验是较为经济可行的试验方法,破坏能是较好地评价沥青混合料低温性能的指标,并应
以钛白粉厂废弃物配制的Ｇ—５土壤改良剂和以高分子化合物配制的ＨＰ—１土壤结构改良剂，能改善土壤结构性和孔隙性。Ｇ—５改良剂与牛粪配合施用的效果更好，ＨＰ—１改良剂主要提高原有团粒的水稳
将新时期"回忆文革"散文作为一个独立的文学主题进行综合性研究,这在学术界还鲜有人为之.本文认为这类散文在审美风格上大致分为两类:一类是严明而悲凉地理性剖析,并赋予其强