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]

@inproceedings{KhouryHC12,
  title = {Towards a formal framework for evaluating the effectiveness of system diversity when applied to security},
  author = {Raphael Khoury and Abdelwahab Hamou-Lhadj and Mario Couture},
  year = {2012},
  doi = {10.1109/CISDA.2012.6291540},
  url = {http://dx.doi.org/10.1109/CISDA.2012.6291540},
  researchr = {https://researchr.org/publication/KhouryHC12},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {2012 IEEE Symposium on Computational Intelligence for Security and Defence Applications, CISDA 2012, Ottawa, Canada, July 11-13, 2012},
  publisher = {IEEE},
  isbn = {978-1-4673-1471-6},
}