计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
35期
1-4,8
,共5页
单智勇%石文昌%梁彬%孟晓峰
單智勇%石文昌%樑彬%孟曉峰
단지용%석문창%량빈%맹효봉
访问控制%可生存性%攻击树
訪問控製%可生存性%攻擊樹
방문공제%가생존성%공격수
针对传统访问控制模型应用到可生存系统时存在的局限性,提出可生存性访问控制的概念和要求,并设计一种可生存性访问控制模型TTC.TTC模型在系统受到入侵而被控制之后仍然能保护关键服务和数据,能实时响应入侵检测报警并指导入侵恢复工作.它包括触发、跟踪和控制等三个规则.触发规则和跟踪规则利用攻击树跟踪入侵者在系统内的活动,控制规则禁止被跟踪的主体破坏关键服务和数据.通过对模型的形式化证明,模型的应用示例,以及与传统访问控制模型的对比,证实了TTC模型在增强可生存性方面的价值.
針對傳統訪問控製模型應用到可生存繫統時存在的跼限性,提齣可生存性訪問控製的概唸和要求,併設計一種可生存性訪問控製模型TTC.TTC模型在繫統受到入侵而被控製之後仍然能保護關鍵服務和數據,能實時響應入侵檢測報警併指導入侵恢複工作.它包括觸髮、跟蹤和控製等三箇規則.觸髮規則和跟蹤規則利用攻擊樹跟蹤入侵者在繫統內的活動,控製規則禁止被跟蹤的主體破壞關鍵服務和數據.通過對模型的形式化證明,模型的應用示例,以及與傳統訪問控製模型的對比,證實瞭TTC模型在增彊可生存性方麵的價值.
침대전통방문공제모형응용도가생존계통시존재적국한성,제출가생존성방문공제적개념화요구,병설계일충가생존성방문공제모형TTC.TTC모형재계통수도입침이피공제지후잉연능보호관건복무화수거,능실시향응입침검측보경병지도입침회복공작.타포괄촉발、근종화공제등삼개규칙.촉발규칙화근종규칙이용공격수근종입침자재계통내적활동,공제규칙금지피근종적주체파배관건복무화수거.통과대모형적형식화증명,모형적응용시례,이급여전통방문공제모형적대비,증실료TTC모형재증강가생존성방면적개치.
