Redundancy and Diversity

A. Hamou-Lhadj, S. S. Murtaza, W. Fadel, A. Mehrabian, M. Couture, R. Khoury, "Software Behaviour Correlation in a Redundant and Diverse Environment Using the Concept of Trace Abstraction," In Proc. of the ACM 2013 Research in Adaptive and Convergent Systems Conference (RACS'13), Montrela, QC, Canada 2013.

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.