Lin Chen, Zhitang Li, Cuixia Gao, Yingshu Liu. Modeling and Analyzing Dynamic Forensics System Based on Intrusion Tolerance. In Ninth IEEE International Conference on Computer and Information Technology, Xiamen, China, CIT 2009, 11-14 October 2009, Proceedings, Volume II. pages 230-235, IEEE Computer Society, 2009. [doi]