A Model Checking Based Survivability Evaluation Framework of Wireless Network

Survivability is a critical property to evaluate the security and availability of wireless networks. Traditional manual check of survivability is a tedious, erroneous and time-consuming procedure. To our best knowledge, there are still no any automatic survivability evaluation techniques or related theories being reported. Therefore some efficient evaluation techniques and tools are seriously demanded to ensure wireless network's survivability. In this paper, an automatic survivability evaluation framework based on model checking is proposed. The proposed framework features that the evaluation procedure is automated, the computation of performance indexes is unified, and toward improving survivability the feedback of check is timely and helpful. Finally, some challenges are briefly discussed.