@InProceedings{Cisda12,
 author= "Raphael. Khoury and Abdelwahab Hamou-Lhadj and Mario Couture",
 title = "A Formal Framework for Evaluating the Effectiveness of Diversity when
Applied to Security",
 booktitle = "IEEE Symposium: Computational Intelligence for Security and Defence Applications 2012 (CISDA 12)",
 year = 2012,
 month=july
}