Towards a formal framework for evaluating the effectiveness of system diversity when applied to security

Raphael Khoury, Abdelwahab Hamou-Lhadj, Mario Couture. Towards a formal framework for evaluating the effectiveness of system diversity when applied to security. In 2012 IEEE Symposium on Computational Intelligence for Security and Defence Applications, CISDA 2012, Ottawa, Canada, July 11-13, 2012. pages 1-7, IEEE, 2012. [doi]

Abstract

Abstract is missing.