基于NuSMV的攻击图模型生成技术研究
李卫民; 徐炳雪
2010-10-08
发表期刊硅谷
ISSN1671-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.
条目包含的文件
条目无相关文件。
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[李卫民]的文章
[徐炳雪]的文章
百度学术
百度学术中相似的文章
[李卫民]的文章
[徐炳雪]的文章
必应学术
必应学术中相似的文章
[李卫民]的文章
[徐炳雪]的文章
相关权益政策
暂无数据
收藏/分享
相关推荐
基于“电大在线”教学平台实现网络学习环境的技术管理
卫星导航接收机芯片核心技术与发展趋势的分析
大中小学思政课一体化建设的路径探析
高校校园信息化门户系统的实践和探讨
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。