计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
8期
1497-1505
,共9页
安全评估%攻击图%最大流%最小割%最优修复集
安全評估%攻擊圖%最大流%最小割%最優脩複集
안전평고%공격도%최대류%최소할%최우수복집
攻击图是一种基于模型的安全分析技术,将不同的原子攻击关联起来,用图的形式描述所有可能的攻击路径,在网络和系统的安全性分析中得到广泛的应用.研究了攻击图中的最优原子攻击修复集问题和最优初始条件修复集问题.针对这2个问题,定义了原子攻击拆分加权攻击图和初始条件拆分加权攻击图,将最优原子攻击修复集问题和最优初始条件修复集问题分别归结于原子攻击拆分加权攻击图中的最小S-T割集问题和初始条件拆分加权攻击图中的最小S-T割集问题,并证明其等价性.在此基础上提出了基于网络流的具有多项式复杂度的算法.模拟实验表明,与已有成果相比,该算法具有较高的实际运行效率和很好的可扩展性,能应用于大规模攻击图的分析中.
攻擊圖是一種基于模型的安全分析技術,將不同的原子攻擊關聯起來,用圖的形式描述所有可能的攻擊路徑,在網絡和繫統的安全性分析中得到廣汎的應用.研究瞭攻擊圖中的最優原子攻擊脩複集問題和最優初始條件脩複集問題.針對這2箇問題,定義瞭原子攻擊拆分加權攻擊圖和初始條件拆分加權攻擊圖,將最優原子攻擊脩複集問題和最優初始條件脩複集問題分彆歸結于原子攻擊拆分加權攻擊圖中的最小S-T割集問題和初始條件拆分加權攻擊圖中的最小S-T割集問題,併證明其等價性.在此基礎上提齣瞭基于網絡流的具有多項式複雜度的算法.模擬實驗錶明,與已有成果相比,該算法具有較高的實際運行效率和很好的可擴展性,能應用于大規模攻擊圖的分析中.
공격도시일충기우모형적안전분석기술,장불동적원자공격관련기래,용도적형식묘술소유가능적공격로경,재망락화계통적안전성분석중득도엄범적응용.연구료공격도중적최우원자공격수복집문제화최우초시조건수복집문제.침대저2개문제,정의료원자공격탁분가권공격도화초시조건탁분가권공격도,장최우원자공격수복집문제화최우초시조건수복집문제분별귀결우원자공격탁분가권공격도중적최소S-T할집문제화초시조건탁분가권공격도중적최소S-T할집문제,병증명기등개성.재차기출상제출료기우망락류적구유다항식복잡도적산법.모의실험표명,여이유성과상비,해산법구유교고적실제운행효솔화흔호적가확전성,능응용우대규모공격도적분석중.
