FSM-based survivability computation for information systems
Chengxing Zheng · Computer Engineering and Applications Journal · 2007
An analysis model based on finite state machine and hierarchical system state is presented,based on which a case study is introduced to demonstrate the process of survivability computation.The demonstration is composed of system definition,survivability test and survivability computation.The case study shows that this method of quantitative analysis is practicable.