6Ellison R J, Fisher B D, Linger R, et al. Survivable Network Systems: An Emerging Discipline[Z]. [2009-10-11]. http://www. cert.org/research/97tr013.pdf.
7Knight J C, Strunk E A, Sullican K J. Towards a Rigorous Definition of Information System Survivability[C]//Proc. of Information Survivability Conference and Exposition. Washington, USA: [s. n.], 2003.
8Jha S, Wing J M. Survivability Analysis of Networked Systems[C]// Proc. of the 23rd Int'l Conf on Software Engineering. Toronto, Canada: [s. n.], 2001.
9Jha S, Wing J M, LongstaffL T. Survivability Analysis of Network Specifications[C]//Proc. of Workshop on Dependability Despite Malicious Faults. New York, USA: IEEE Computer Society, 2000.
10Cavada R, Cimatti A, Jochim C A, et al, NuSMV 2.4 User Manual[Z]. [2008-11-30]. http ://nusmv.irst.itc.it.
