计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
9期
147-149,152
,共4页
钱猛%毛捍东%姚莉%张维明
錢猛%毛捍東%姚莉%張維明
전맹%모한동%요리%장유명
安全分析%逻辑渗透图%逻辑推理%网络渗透
安全分析%邏輯滲透圖%邏輯推理%網絡滲透
안전분석%라집삼투도%라집추리%망락삼투
基于图论的方法被引入来进行分析多阶段、多主机之间的网络渗透行为,但非形式化的数据描述及状态爆炸等问题难以适应中大规模网络系统.通过分析多种网络渗透行为,提出一种基于逻辑渗透图的网络安全分析模型(LEG-NSAM).通过分析对比看出,LEG-NSAM的形式化描述和推理机制有助于更加准确、清晰地评估安全风险.采用LEG及其简化算法能够对大规模网络进行有效安全分析.
基于圖論的方法被引入來進行分析多階段、多主機之間的網絡滲透行為,但非形式化的數據描述及狀態爆炸等問題難以適應中大規模網絡繫統.通過分析多種網絡滲透行為,提齣一種基于邏輯滲透圖的網絡安全分析模型(LEG-NSAM).通過分析對比看齣,LEG-NSAM的形式化描述和推理機製有助于更加準確、清晰地評估安全風險.採用LEG及其簡化算法能夠對大規模網絡進行有效安全分析.
기우도론적방법피인입래진행분석다계단、다주궤지간적망락삼투행위,단비형식화적수거묘술급상태폭작등문제난이괄응중대규모망락계통.통과분석다충망락삼투행위,제출일충기우라집삼투도적망락안전분석모형(LEG-NSAM).통과분석대비간출,LEG-NSAM적형식화묘술화추리궤제유조우경가준학、청석지평고안전풍험.채용LEG급기간화산법능구대대규모망락진행유효안전분석.
