论文部分内容阅读
计算机脆弱性分析是指找出计算机系统的漏洞，以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已智的漏洞．也可以发现系统未知的新的漏洞。在本篇文章中，我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述。建立了一个简单的网络脆弱性分析模型。
基于SPIN的网络脆弱性分析
【摘 要】
：
计算机脆弱性分析是指找出计算机系统的漏洞，以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已智的漏洞．也可以发现系统未知的新的漏洞。在本篇文章中，我们
【机 构】
：
山东理工大学计算机学院
【出 处】
：
中国新技术新产品
【发表日期】
：
2008年17期
其他文献
复旦大学儿科学系为国家重点学科和211工程重点学科，是国家首批硕士、博士学位授权点、临床医学博士后流动站。附属儿科医院小儿外科2002年成为上海市小儿外科疑难重症临床医
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
平阳霉素局部注射治疗血管瘤已在临床广泛应用.本组依据患儿年龄、瘤体的部位、侵犯组织的性质等因素,采用不同浓度平阳霉素局部注射治疗小儿面部血管瘤35例,效果良好,无明显
目的 分析当归四逆汤加味联合中药足浴治疗糖尿病周围神经病变的临床效果.方法 选取2016年4月—2018年11月该院收治的糖尿病周围性病变患者共120例分为研究组和常规组,常规组
尿道下裂手术方法众多，不同术式各有优势。作者在77例尿道下裂手术中，采用Snodgrass术37例，Onlay island flap术40例，现总结如下。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正> 本书系石油地质勘探技术培训教材,由陆基孟等编。本书从地震波的基本概念和反射波法的基本原理入手,并依次阐述了地震资料的采集、数字处理和解释方法,最后介绍了“地震
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着城市人口不断增加,机动车快速增长,城市交通拥堵问题日益突出。城市轨道交通作为一种运量大、快速、可靠性高的公共交通方式,是解决大城市交通拥堵的有效途径之一。近年