CAJ | 학술논문

在运用Jha方法进行信息系统生存性研究时,没有分析不同攻击场景与系统节点失效之间的关联,也未考虑系统提供多个服务情形下的生存性分析.针对上述问题,提出运用模型检查技术评价系统生存性的改进算法,建立多攻击场景、多个服务情形下系统生存性的计算模型,实例分析证明其具有较好的适用性.
재운용Jha방법진행신식계통생존성연구시,몰유분석불동공격장경여계통절점실효지간적관련,야미고필계통제공다개복무정형하적생존성분석.침대상술문제,제출운용모형검사기술평개계통생존성적개진산법,건립다공격장경、다개복무정형하계통생존성적계산모형,실례분석증명기구유교호적괄용성.
When J-ha makes research on the survivability of information system with the method of model checking, it lacks the research on the relation between the different attacking scenes and failed system nodes, and it does not consider how to measure the survivability when the system provides multi-services at the same time. Aiming at such problems, this paper proposes an improved algorithm of measuring the survivability of information system based on Model Checking(MC), and constructs the survivability model of the system supplying multi-services at the same time facing different test scenes. It is proved that the new method is suit for survivability analysis.