{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:09Z","timestamp":1750306749487,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T00:00:00Z","timestamp":1380585600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002956","name":"Defence Research and Development Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002956","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1145\/2513228.2513305","type":"proceedings-article","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T19:22:39Z","timestamp":1384543359000},"page":"328-335","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Software behaviour correlation in a redundant and diverse environment using the concept of trace abstraction"],"prefix":"10.1145","author":[{"given":"Abdelwahab","family":"Hamou-Lhadj","sequence":"first","affiliation":[{"name":"Concordia University, Montr\u00e9al, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Syed Shariyar","family":"Murtaza","sequence":"additional","affiliation":[{"name":"Concordia University, Montr\u00e9al, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Waseem","family":"Fadel","sequence":"additional","affiliation":[{"name":"Concordia University, Montr\u00e9al, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Mehrabian","sequence":"additional","affiliation":[{"name":"Concordia University, Montr\u00e9al, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Couture","sequence":"additional","affiliation":[{"name":"System of Systems Section, Software Analysis and Robustness Group, Defence Research and Development Canada, Valcartier, Qu\u00e9bec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael","family":"Khoury","sequence":"additional","affiliation":[{"name":"System of Systems Section, Software Analysis and Robustness Group, Defence Research and Development Canada, Valcartier, Qu\u00e9bec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 32nd Latin-American Conference on Informatics (Santiago, Chile, August 25-26, 2006). CLEI'06.","author":"Barrantes E.","year":"2006","unstructured":"Barrantes , E. , Forrest S. 2006 . Increasing communications security through protocol parameter diversity . In Proceedings of the 32nd Latin-American Conference on Informatics (Santiago, Chile, August 25-26, 2006). CLEI'06. Barrantes, E., Forrest S. 2006. Increasing communications security through protocol parameter diversity. In Proceedings of the 32nd Latin-American Conference on Informatics (Santiago, Chile, August 25-26, 2006). CLEI'06."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 3rd International Workshop on Information Assurance","author":"Bruschi D.","year":"2007","unstructured":"Bruschi , D. , Cavallaro , L. , and Lanzi , A . 2007. Diversified Process Replicae for Defeating Memory Error Exploits . In Proceedings of the 3rd International Workshop on Information Assurance ( New Orleans, Louisiana, USA, April 11--13 , 2007 ). WIA'07. IEEE Computer Society, 434--441. DOI= 10.1109\/PCCC.2007.358924 Bruschi, D., Cavallaro, L., and Lanzi, A. 2007. Diversified Process Replicae for Defeating Memory Error Exploits. In Proceedings of the 3rd International Workshop on Information Assurance (New Orleans, Louisiana, USA, April 11--13, 2007). WIA'07. IEEE Computer Society, 434--441. DOI= 10.1109\/PCCC.2007.358924"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.28"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 15th USENIX Security Symposium","author":"Cox B.","year":"2006","unstructured":"Cox , B. , Evans , D. , Filipi , A. , Rowanhill , J. , Hu , W. , Davidson , J. , Knight , J. , Nguyen-Tuong , A. , and Hiser , J ., 2006. N-Variant Systems: A Secretless Framework for Security through Diversity . In Proceedings of the 15th USENIX Security Symposium ( Vancouver, B. C., Canada, July 31- August 4, 2006 ). USENIX Association, Article No 9. Cox, B., Evans, D., Filipi, A., Rowanhill, J., Hu, W., Davidson, J., Knight, J., Nguyen-Tuong, A., and Hiser, J., 2006. N-Variant Systems: A Secretless Framework for Security through Diversity. In Proceedings of the 15th USENIX Security Symposium (Vancouver, B. C., Canada, July 31-August 4, 2006). USENIX Association, Article No 9."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the Ottawa Linux Symposium","author":"Desnoyers M.","year":"2006","unstructured":"Desnoyers , M. , and Dagenais , M. R . 2006. The LTTng tracer: A Low Impact Performance and Behavior Monitor for GNU\/Linux . In Proceedings of the Ottawa Linux Symposium , 2006 . Desnoyers, M., and Dagenais, M. R. 2006. The LTTng tracer: A Low Impact Performance and Behavior Monitor for GNU\/Linux. In Proceedings of the Ottawa Linux Symposium, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2004.1347758"},{"key":"e_1_3_2_1_10_1","volume-title":"Computer Security, Dependability, and Assurance: From Needs to Solutions (York, UK","author":"Deswarte Y.","year":"1998","unstructured":"Deswarte , Y. , Kanoun , K. , Laprie , J.-C. 1998. Diversity against accidental and deliberate faults . In Computer Security, Dependability, and Assurance: From Needs to Solutions (York, UK ; Williamsburg , VA , July 7-9, 1998 ), 171--181. DOI= 10.1109\/CSDA.1998.798364 Deswarte, Y., Kanoun, K., Laprie, J.-C. 1998. Diversity against accidental and deliberate faults. In Computer Security, Dependability, and Assurance: From Needs to Solutions (York, UK; Williamsburg, VA, July 7-9, 1998), 171--181. DOI= 10.1109\/CSDA.1998.798364"},{"key":"e_1_3_2_1_11_1","volume-title":"STATL: An attack language for state based intrusion detection system. Journal of Computer Security 10(1-2)","author":"Eckmann S.","year":"2002","unstructured":"Eckmann , S. , Vigna , G. , Kemmerer , R. 2002 . STATL: An attack language for state based intrusion detection system. Journal of Computer Security 10(1-2) , IOS Press , 71--103. Eckmann, S., Vigna, G., Kemmerer, R. 2002. STATL: An attack language for state based intrusion detection system. Journal of Computer Security 10(1-2), IOS Press, 71--103."},{"key":"e_1_3_2_1_12_1","article-title":"Stateful Synthetic Event Generator from Kernel Trace Events","volume":"2012","author":"Ezzati-Jivan N.","year":"2012","unstructured":"Ezzati-Jivan , N. , Dagenais , M. R. 2012 . Stateful Synthetic Event Generator from Kernel Trace Events . Hindawi Journal on Advances in Software Engineering , Volume 2012 (2012), Article ID 14036. DOI= http:\/\/dx.doi.org\/10.1155\/2012\/140368 10.1155\/2012 Ezzati-Jivan, N., Dagenais, M. R. 2012. Stateful Synthetic Event Generator from Kernel Trace Events. Hindawi Journal on Advances in Software Engineering, Volume 2012 (2012), Article ID 14036. DOI= http:\/\/dx.doi.org\/10.1155\/2012\/140368","journal-title":"Hindawi Journal on Advances in Software Engineering"},{"volume-title":"Techniques for the Abstraction of System Call Traces to Facilitate the Understanding of the Behavioural Aspects of the Linux Kernel. Masters thesis","author":"Fadel W.","key":"e_1_3_2_1_13_1","unstructured":"Fadel W. 2010. Techniques for the Abstraction of System Call Traces to Facilitate the Understanding of the Behavioural Aspects of the Linux Kernel. Masters thesis , Concordia University , Montreal, QC , Canada. Available online, URL: http:\/\/spectrum.library.concordia.ca\/7075\/ Fadel W. 2010. Techniques for the Abstraction of System Call Traces to Facilitate the Understanding of the Behavioural Aspects of the Linux Kernel. Masters thesis, Concordia University, Montreal, QC, Canada. Available online, URL: http:\/\/spectrum.library.concordia.ca\/7075\/"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 6th Workshop on Hot Topics in Operating Systems","author":"Forrest S.","year":"1997","unstructured":"Forrest , S. Somayaji , A. , and Ackley , D. H . 1997. Building diverse computer systems . In Proceedings of the 6th Workshop on Hot Topics in Operating Systems ( Cape Cod, MA, USA, May 5--6 , 1997 ), 67--72. DOI= 10.1109\/HOTOS.1997.595185 Forrest, S. Somayaji, A., and Ackley, D. H. 1997. Building diverse computer systems. In Proceedings of the 6th Workshop on Hot Topics in Operating Systems (Cape Cod, MA, USA, May 5--6, 1997), 67--72. DOI= 10.1109\/HOTOS.1997.595185"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"Forrest S.","year":"1996","unstructured":"Forrest , S. , Hofmeyr , S. A. , Somayaji , A. , and Longstaff , T. A . 1996. A Sense of Self for Unix Processes . In Proceedings of the IEEE Symposium on Security and Privacy ( Oakland, CA, USA , May 6-8, 1996 ), 120--128. DOI= 10.1109\/SECPRI.1996.502675 Forrest, S., Hofmeyr, S. A., Somayaji, A., and Longstaff, T. A. 1996. A Sense of Self for Unix Processes. In Proceedings of the IEEE Symposium on Security and Privacy (Oakland, CA, USA, May 6-8, 1996), 120--128. DOI= 10.1109\/SECPRI.1996.502675"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02918-9_13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11856214_2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.39"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958251"},{"key":"e_1_3_2_1_20_1","first-page":"2010","article-title":"Redundancy with diversity based software architectures for the detection and tolerance of cyber-attacks. DRDC Valcartier","author":"Gherbi A.","year":"2010","unstructured":"Gherbi , A. , Charpentier , R. , and Couture , M. 2010 . Redundancy with diversity based software architectures for the detection and tolerance of cyber-attacks. DRDC Valcartier , Technical Report TM 2010 - 2287 . Gherbi, A., Charpentier, R., and Couture, M. 2010. Redundancy with diversity based software architectures for the detection and tolerance of cyber-attacks. DRDC Valcartier, Technical Report TM 2010-287.","journal-title":"Technical Report TM"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11856214_3"},{"volume-title":"Proceedings of the 1st ICSE International Workshop on Dynamic Analysis (WODA), Available online at http:\/\/homes.cs.washington.edu\/~mernst\/pubs\/woda2003-proceedings.pdf#page=33","author":"Hamou-Lhadj A.","key":"e_1_3_2_1_22_1","unstructured":"Hamou-Lhadj , A. and Lethbridge , T . 2003. An Efficient Algorithm for Detecting Patterns in Traces of Procedure Calls . In Proceedings of the 1st ICSE International Workshop on Dynamic Analysis (WODA), Available online at http:\/\/homes.cs.washington.edu\/~mernst\/pubs\/woda2003-proceedings.pdf#page=33 Hamou-Lhadj, A. and Lethbridge, T. 2003. An Efficient Algorithm for Detecting Patterns in Traces of Procedure Calls. In Proceedings of the 1st ICSE International Workshop on Dynamic Analysis (WODA), Available online at http:\/\/homes.cs.washington.edu\/~mernst\/pubs\/woda2003-proceedings.pdf#page=33"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2005.30"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.57"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Hamou-Lhadj A. and \n      Lethbridge T\n  . \n  2004\n  . Reasoning About the Concept of Utilities. ECOOP International Workshop on Practical Problems of Programming in the Large Oslo Norway Lecture Notes in Computer Science\n   (LNCS) Vol 3344 Springer-Verlag 10--22.  Hamou-Lhadj A. and Lethbridge T. 2004. Reasoning About the Concept of Utilities. ECOOP International Workshop on Practical Problems of Programming in the Large Oslo Norway Lecture Notes in Computer Science (LNCS) Vol 3344 Springer-Verlag 10--22.","DOI":"10.1007\/978-3-540-30554-5_2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2009.05.004"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2954243.2954267"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the International Conference on Security and privacy","author":"Joseph M. K.","year":"1988","unstructured":"Joseph M. K. and Avizienis , A . 1988. A fault tolerance approach to computer viruses . In Proceedings of the International Conference on Security and privacy ( Oakland, CA, USA , Apr 18-21, 1988 ), 52--58. DOI= 10.1109\/SECPRI.1988.8097 Joseph M. K. and Avizienis, A. 1988. A fault tolerance approach to computer viruses. In Proceedings of the International Conference on Security and privacy (Oakland, CA, USA, Apr 18-21, 1988), 52--58. DOI= 10.1109\/SECPRI.1988.8097"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029618.1029623"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.15"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30108-0_26"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2009.5090273"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.69"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127345.1127348"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210706"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 22nd International Symposium on Reliable Distributed Systems","author":"Xu J.","year":"2003","unstructured":"Xu , J. , Kalbarczyk , Z. , Iyer , R. K. 2003 . Transparent runtime randomization for security . In Proceedings of the 22nd International Symposium on Reliable Distributed Systems ( Florence, Italy, Oct.6-18 , 2003), 260--269. DOI= 10.1109\/RELDIS.2003.1238076. Xu, J., Kalbarczyk, Z., Iyer, R. K. 2003. Transparent runtime randomization for security. In Proceedings of the 22nd International Symposium on Reliable Distributed Systems (Florence, Italy, Oct.6-18, 2003), 260--269. DOI= 10.1109\/RELDIS.2003.1238076."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2011.6030698"},{"key":"e_1_3_2_1_40_1","volume-title":"SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services. In Foundations of Intrusion Tolerant Systems, 153--155. DOI= http:\/\/doi.ieeecomputersociety.org\/10.1109\/FITS.2003.126494.","author":"Wang F.","year":"2003","unstructured":"Wang , F. , Jou , F. , Gong , F. , Sargor , C. , Goseva-Popstojanova , K. , Trivedi , K. 2003 . SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services. In Foundations of Intrusion Tolerant Systems, 153--155. DOI= http:\/\/doi.ieeecomputersociety.org\/10.1109\/FITS.2003.126494. Wang, F., Jou, F., Gong, F., Sargor, C., Goseva-Popstojanova, K., Trivedi, K. 2003. SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services. In Foundations of Intrusion Tolerant Systems, 153--155. DOI= http:\/\/doi.ieeecomputersociety.org\/10.1109\/FITS.2003.126494."}],"event":{"name":"RACS'13: Research in Adaptive and Convergent Systems","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","ACCT Association of Convergent Computing Technology"],"location":"Montreal Quebec Canada","acronym":"RACS'13"},"container-title":["Proceedings of the 2013 Research in Adaptive and Convergent Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2513228.2513305","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2513228.2513305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:27Z","timestamp":1750231707000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2513228.2513305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":36,"alternative-id":["10.1145\/2513228.2513305","10.1145\/2513228"],"URL":"https:\/\/doi.org\/10.1145\/2513228.2513305","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]},"assertion":[{"value":"2013-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}