基于FSM模型检验的安全测试技术研究

ON SECURITY TESTING TECHNIQUES BASED ON FSM MODEL CHECKING

安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。

Security and reliability are the important indicators for software and hardware systems to meet users＇ satisfaction. Before these systems are put into use, rigorous security testing must be undertaken to ensure their safety. So a formal security testing method for model checking based on FSM （Finate State Machine） and FTA （fault tree analysis） is proposed to verify the security of the system under testing, which possesses a higher universality and is able to analyse in detail the malfunctions of the software model possibly encountered.