【作者】 李卫民； 徐炳雪；
【机构】 鹰潭广播电视大学；
【摘要】 基于模型检测器的攻击图建模方法为小型网络安全管理提供一条自动化的潜在入侵路径建立方法。根据攻击图模型的生成原理,使用模型检测器NuSMV实现了攻击图建模,结合测试网络讨论具体实现细节。更多还原
