Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. - Kaile Su; Congxin Zhao; Guanfeng Lv; Han Lin; Qingliang Chen (WINE, 2005)