基于NuSMV的攻击图模型生成技术研究 | |
李卫民; 徐炳雪 | |
2010-10-08 | |
发表期刊 | 硅谷 |
ISSN | 1671-7597 |
卷号 | No.67期号:19页码:79-80+53 |
摘要 | 基于模型检测器的攻击图建模方法为小型网络安全管理提供一条自动化的潜在入侵路径建立方法。根据攻击图模型的生成原理,使用模型检测器NuSMV实现了攻击图建模,结合测试网络讨论具体实现细节。 |
关键词 | 攻击图 模型检测 NuSMV |
URL | 查看原文 |
语种 | 中文 |
原始文献类型 | 学术期刊 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/91007 |
专题 | 国家开放大学江西分部 |
作者单位 | 鹰潭广播电视大学 |
第一作者单位 | 国家开放大学江西分部 |
第一作者的第一单位 | 国家开放大学江西分部 |
推荐引用方式 GB/T 7714 | 李卫民,徐炳雪. 基于NuSMV的攻击图模型生成技术研究[J]. 硅谷,2010,No.67(19):79-80+53. |
APA | 李卫民,&徐炳雪.(2010).基于NuSMV的攻击图模型生成技术研究.硅谷,No.67(19),79-80+53. |
MLA | 李卫民,et al."基于NuSMV的攻击图模型生成技术研究".硅谷 No.67.19(2010):79-80+53. |
条目包含的文件 | ||||||
条目无相关文件。 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[李卫民]的文章 |
[徐炳雪]的文章 |
百度学术 |
百度学术中相似的文章 |
[李卫民]的文章 |
[徐炳雪]的文章 |
必应学术 |
必应学术中相似的文章 |
[李卫民]的文章 |
[徐炳雪]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
相关推荐 |
基于“电大在线”教学平台实现网络学习环境的技术管理 |
卫星导航接收机芯片核心技术与发展趋势的分析 |
大中小学思政课一体化建设的路径探析 |
高校校园信息化门户系统的实践和探讨 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论