论文部分内容阅读
讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。
形式描述技术在通信协议安全分析中的应用
【摘 要】
：
讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。
【机 构】
：
解放军电子工程学院网络工程系
【出 处】
：
计算机应用
【发表日期】
：
2008年S1期
其他文献
最近，农业部、财政部下发〈2012年基层农业技术推广体系改革与建设实施指导意见》（下称《意见》）。
一、点线面在山水画中形成和发展的规律中国画在几千年的的形成和发展中,经过历代众多画家的努力探索和创造,形成了一系列的理论和技法。(1)关于"点"的规律清人石涛在一画章
为了研究网络舆论的传播过程及发展趋势,建立了一个基于元胞自动机的网络舆论激励模型,用于模拟网络舆论形成过程中个体发表言论数的变化以及个体观点的变化。在模型中,将网络空间的个体抽象为以情感描述的元胞,用情感倾向度和情感倾向度门限来确定元胞发表言论的状态,用情感激励来描述元胞的移动规则。同时,该模型考虑了个体数量增减和社会突发事件对网络舆论传播的影响,从而更能准确地模拟网络现实事件。
VB6．0环境下，实现计算机与FX系列PLC的串行通信，通过上位PC机实现管理和监控，PLC作为下位机实现电机的控制，并使各PLC均可与PC联网通信，从而实现远程集中控制。该系统可应用于化工
在石油测井工程图纸的曲线矢量化过程中,由于背景网格与曲线、曲线与曲线存在大量交织,致使曲线跟踪中断,需要人工判断走向,难于实现自动跟踪。提出一种基于离散型Hopfield神经网络(DHNN)的测井曲线交叉线识别方法。这个方法先设置8个标准方向样本,对网络进行训练。在曲线跟踪的过程中,当遇到交叉点,就进入交叉线识别,通过训练好的网络进行分支匹配,再结合宽度匹配正确判断曲线走向。理论研究和实验分析表明
1991年3月份,在院党委和院行政领导的统一部署下,工艺美术系组织了富有经验的中、青年教师,经过半个多月的时间,对1986年以来在宁工作的毕业生进行了一次全面的跟踪调查,既征
党的十四大要求,用建设有中国特色的社会主义理论武装全党,提倡观念更新,其中最重要的就是在经济生活中由过去的高度集中的计划经济向社会主义市场经济转变,这不仅引起人们经
我院自1998年1月～2000年12月，对98例老年股骨颈骨折病人实行了系统化康复护理，通过 早期康复指导，最大限度地恢复了患肢功能，降低了并发症，现介绍如下；1 资料与方法1.1 资料本组98例