{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:28:05Z","timestamp":1729657685839,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/cisda.2012.6291540","type":"proceedings-article","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T19:58:22Z","timestamp":1347047902000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Towards a formal framework for evaluating the effectiveness of system diversity when applied to security"],"prefix":"10.1109","author":[{"given":"Raphael","family":"Khoury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelwahab","family":"Hamou-Lhadj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Couture","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"423","article-title":"Redundancy and diversity in security","volume":"3193","author":"littlewood","year":"2004","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/384192.384195"},{"journal-title":"Distinct Failure Diversity in Multiversion Software","year":"1997","author":"partridge","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.41339"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231895"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9198-9_10"},{"journal-title":"A Theoretical Basis for the Analysis of Redundant Software subject to Coincident Errors","year":"1985","author":"eckhardt","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-2014-2_10"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1988.5291"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CSDA.1998.798364"},{"journal-title":"On the Effects of Diversity on Intrusion Tolerance","year":"2008","author":"bessani","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1988.8097"},{"key":"23","article-title":"Increasing communications security through protocol parameter diversity","author":"barrantes","year":"0","journal-title":"Proceedings of the XXXII Latin-American Conference on Informatics (CLEI 2006) August 2006"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.15"},{"key":"25","article-title":"Transparent runtime randomization for security","author":"xu","year":"0","journal-title":"Proceedings of the 22nd International Symposium on Reliable Distributed Systems (SRDS'03) 2003"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70542-0_1"},{"journal-title":"Mitigating Buffer Overflows by Operating System Randomization","year":"2002","author":"chew","key":"27"},{"journal-title":"Redundancy with Diversity Based Software Architectures for the Detection and Tolerance of Cyber-attacks","year":"2010","author":"gherbi","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/11856214_2","article-title":"Behavioral distance measurement using hidden markov models","author":"gao","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.1997.595185"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(99)80004-9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/JCS-980109","article-title":"Intrusion detection using sequences of system calls","volume":"6","author":"hofmeyr","year":"1998","journal-title":"Journal of Computer Security"},{"key":"6","first-page":"707","volume":"10","year":"1966","journal-title":"Soviet Physics Doklady"},{"key":"5","first-page":"845","article-title":"Binary codes capable of correcting deletions, insertions and reversals","volume":"163","author":"levenshtein","year":"1965","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.58771"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"8","first-page":"298","article-title":"On the effectiveness of address-space randomization","author":"shacham","year":"2004","journal-title":"Proceedings of the ACM Computer and Communications Security (CCS) 2004"}],"event":{"name":"2012 IEEE Symposium on Computational Intelligence for Security and Defense Applications (CISDA)","start":{"date-parts":[[2012,7,11]]},"location":"Ottawa, ON, Canada","end":{"date-parts":[[2012,7,13]]}},"container-title":["2012 IEEE Symposium on Computational Intelligence for Security and Defence Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6279634\/6291498\/06291540.pdf?arnumber=6291540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T15:59:45Z","timestamp":1562169585000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6291540\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/cisda.2012.6291540","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}