Wireless Ad hoc network security multi-path routing protocol survivability modeling research

Network survivability is the key ability of ad hoc network under all kinds of attacks, which is a foundation to the design and evaluation of wireless ad hoc network routing protocol. The definitions of network survivability are analyzed and compared. We propose a novel survivability model based on Finite State Machine (FSM) and District Time Markov Chain (DTMC) model. DTMC steady-state probabilities are theoretically deduced and computed. Performance Evaluation Process Algebra (PEPA) is used to decribe the state transition model, PEPA Eclipse Plug-in software is used to compute the steady-state probabilities. We find that the steadystate probabilities computed by PEPA software match well with the formula derivation. Experiment results show that G steady-state probability decreases with the increasing transition probability of attack state. Finally, we validate the proposed model by PEPA simulations and numerical analysis.