面向容侵系统可生存性量化的随机博弈模型研究  

Qualifying the Survivability of Intrusion Tolerant System Using Stochastic Game Theory

作　　者：熊琦[1] 王丽娜[1,2] 刘陶[1] 余荣威[1] 

机构地区：[1]武汉大学计算机学院,湖北武汉430079 [2]武汉大学软件工程国家重点实验室,湖北武汉430079

出　　处：《小型微型计算机系统》2008年第10期1794-1798,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60743003)资助;国家"八六三"计划项目(2006AA01Z442)资助;湖北省科技攻关项目(2007AA101C44)资助;湖北省自然科学基金项目(2007ABA089)资助

摘　　要：提出面向生存性研究的容侵系统状态转换模型,提高对容侵过程的描述能力,将入侵者和入侵容忍系统作为随机博弈的局中人,建立了描述入侵过程的随机博弈模型,使用纳什均衡计算了博弈结果,使用基于连续马尔可夫过程的方法对容侵系统可生存性进行了量化评估.最后,利用博弈分析的结果和所建立的评估模型进行了容侵系统的生存性分析,指出了容侵系统生存性敏感的参数.In order to improve the ability of intrusion process description, a survivability-oriented state transition model for the research of Intrusion Tolerant System （ITS） is established, the intruder and ITS are virtualized into the members of a stochastic game, the process of intrusion is modeled by stochastic game theory, the result of this game is computed using Nash-Equilibrium, the survivability of ITS is evaluated by the model based on continuous Markov model. Finally, the survivability is analyzed based on game and CTMC, the sensitive parameters for ITS is pointed out.

关 键 词：可生存性 容侵系统 随机博弈论 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]