节点文献

基于NuSMV的攻击图模型生成技术研究

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 李卫民； 徐炳雪；

【机构】 鹰潭广播电视大学；

【摘要】 基于模型检测器的攻击图建模方法为小型网络安全管理提供一条自动化的潜在入侵路径建立方法。根据攻击图模型的生成原理,使用模型检测器NuSMV实现了攻击图建模,结合测试网络讨论具体实现细节。

【关键词】 攻击图； 模型检测； NuSMV；
  • 【分类号】TP393.08
  • 【被引频次】1
  • 【下载频次】150
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)