硅谷
硅穀
규곡
SILICON VALLEY
2010年
19期
79-80,53
,共3页
攻击图%模型检测%NuSMV
攻擊圖%模型檢測%NuSMV
공격도%모형검측%NuSMV
基于模型检测器的攻击图建模方法为小型网络安全管理提供一条自动化的潜在入侵路径建立方法.根据攻击图模型的生成原理,使用模型检测器NuSMV实现了攻击图建模,结合测试网络讨论具体实现细节.
基于模型檢測器的攻擊圖建模方法為小型網絡安全管理提供一條自動化的潛在入侵路徑建立方法.根據攻擊圖模型的生成原理,使用模型檢測器NuSMV實現瞭攻擊圖建模,結閤測試網絡討論具體實現細節.
기우모형검측기적공격도건모방법위소형망락안전관리제공일조자동화적잠재입침로경건립방법.근거공격도모형적생성원리,사용모형검측기NuSMV실현료공격도건모,결합측시망락토론구체실현세절.
