论文部分内容阅读
基于模型检测器的攻击图建模方法为小型网络安全管理提供一条自动化的潜在入侵路径建立方法。根据攻击图模型的生成原理,使用模型检测器NuSMV实现了攻击图建模,结合测试网络讨论具体实现细节。
基于NuSMV的攻击图模型生成技术研究
【摘 要】
：
基于模型检测器的攻击图建模方法为小型网络安全管理提供一条自动化的潜在入侵路径建立方法。根据攻击图模型的生成原理,使用模型检测器NuSMV实现了攻击图建模,结合测试网络
【机 构】
：
鹰潭广播电视大学,
【出 处】
：
硅谷
【发表日期】
：
2010年19期
其他文献
英语冠词是使用最频繁的词素之一，其中包括定冠词“the”，不定冠词“a/an”和零冠词“”。它们本身没有实义，修饰名词短语却可以表示有定无定、以及由此衍生出的有指无指、通指（
对于具有复杂焊接结构的产品制造,采用人工示教焊接专机或机器人的方法,效率低下,过程繁琐,无法实现焊接生产的自动化和批量化;而采用传统的焊缝跟踪技术又无法对复杂的焊接
HSE监督管理是贯穿于油田企业经营与生产全过程的一项工作,关系到石油生产的安全性与油田企业经营的持续性。本文从开展油田企业HSE监督管理工作的实际出发,分析油田企业HSE
通过田间小区试验单作玉米、马铃薯//玉米间作,采集玉米在3个不同生育期(拔节期、大喇叭口期、抽雄期)的根系和土壤,测定根系分泌物中的有机酸、总糖和土壤团聚体状况,分析根
近年来随着翻译文化转向研究的深入,翻译与权力的研究也越来越引起广泛的关注。从某种意义上说,翻译与权力的研究就是翻译文化转向的纵深发展,它把翻译研究的重点从文本内部
近年来,由于我国国民经济的迅猛发展,钢铁产量急剧上升。数据显示,从2002年到2008年,我国钢产量从1.82亿吨发展5.4亿吨,增长了近3倍。作为钢铁工艺的关键一环,热轧产线数及规
海潮负荷效应的影响对目前精度要求越来越高的导航定位而言,特别是对于近海区域高精度定位已成为不容忽视的重要影响因素之一。当前对于海潮负荷效应的研究主要是利用全球海
3月18日,首个《中国铁矿业中长期发展规划》的编制工作在京正式启动。鞍钢矿业公司作为第一承担单位,牵头承担规划编制主体工作。该规划对于推动我国铁矿业可持续发展、保障
中医药是我国优秀传统文化的重要组成部分,2015年9月~2016年6月,淮安市中医院与淮阴师范学院附属小学联合开展一学年的中医药文化启蒙课程,充分利用来自中医院的医务志愿者资
目的研究采用网络教学和以问题为基础的教学（PBL）相结合的方法在急诊教学中的应用效果。方法采用随机抽样法将学生分成2组。对照组30名学生在教学中采用传统的教学法进行教学，观