R. Khoury, A. Hamou-Lhadj, M. Couture, "Towards A Formal Framework for Evaluating the Effectiveness of System Diversity when Applied to Security", In Proc. of the IEEE Symposium on Computational Intelligence for Security and Defence Applications (CISDA), IEEE Computational Intelligence, Ottawa, ON, Canada, 2012.
