{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T12:30:10Z","timestamp":1751977810092,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swedish Knowledge Foundation","award":["20160186"],"award-info":[{"award-number":["20160186"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,29]]},"DOI":"10.1145\/3387939.3391609","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:13:13Z","timestamp":1600481593000},"page":"174-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Self-protection against business logic vulnerabilities"],"prefix":"10.1145","author":[{"given":"Silvan","family":"Zeller","sequence":"first","affiliation":[{"name":"Omegapoint AB, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narges","family":"Khakpour","sequence":"additional","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danny","family":"Weyns","sequence":"additional","affiliation":[{"name":"KU Leuven & Linnaeus University, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Deogun","sequence":"additional","affiliation":[{"name":"Omegapoint AB, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ezio. Lectures on Runtime Verification: Introductory and Advanced Topics","author":"Yli\u00e8s Falcone","year":"2018","unstructured":"Falcone Yli\u00e8s (Eds.) Bartocci, Ezio. Lectures on Runtime Verification: Introductory and Advanced Topics. Springer, 2018."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809842.1809849"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"B. Cheng R. de Lemos H. Giese P. Inverardi J. Magee J. Andersson B. Becker N. Bencomo Y. Brun B. Cukic G. Di Marzo Serugendo S. Dustdar A. Finkelstein C. Gacek K. Geihs V. Grassi G. Karsai H. Kienle J. Kramer M. Litoiu S. Malek R. Mirandola H. M\u00fcller S. Park M. Shaw M. Tichy M. Tivoli D. Weyns and J. Whittle. Software engineering for self-adaptive systems: A research roadmap. In B. Cheng R. de Lemos H. Giese P. Inverardi and J. Magee editors Software Engineering for Self-Adaptive Systems pages 1--26. Springer Berlin Heidelberg Berlin Heidelberg 2009.","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.02.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2018.01.008"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619091"},{"key":"e_1_3_2_1_9_1","first-page":"143","volume-title":"19th USENIX Security Symposium","author":"Felmetsger Viktoria","year":"2010","unstructured":"Viktoria Felmetsger, Ludovico Cavedon, Christopher Kruegel, and Giovanni Vigna. Toward automated detection of logic vulnerabilities in web applications. In 19th USENIX Security Symposium, Washington, DC, USA, August 11--13, 2010, Proceedings, pages 143--160, 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.175"},{"issue":"3","key":"e_1_3_2_1_11_1","article-title":"Mape-k formal templates to rigorously design behaviors for self-adaptive systems","volume":"10","author":"De La Iglesia Didac Gil","year":"2015","unstructured":"Didac Gil De La Iglesia and Danny Weyns. Mape-k formal templates to rigorously design behaviors for self-adaptive systems. ACM Trans. Auton. Adapt. Syst., 10(3), September 2015.","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"e_1_3_2_1_12_1","volume-title":"The vision of autonomic computing. Computer, (1):41--50","author":"Kephart Jeffrey O","year":"2003","unstructured":"Jeffrey O Kephart and David M Chess. The vision of autonomic computing. Computer, (1):41--50, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2019.00023"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601332"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_16_1","first-page":"481","volume-title":"8th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '13","author":"Li Xiaowei","year":"2013","unstructured":"Xiaowei Li and Yuan Xue. Logicscope: automatic discovery of logic vulnerabilities within web applications. In 8th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '13, Hangzhou, China - May 08 - 10, 2013, pages 481--486, 2013."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_23"},{"key":"e_1_3_2_1_18_1","first-page":"286","volume-title":"17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6--10, 2005","author":"Olivain Julien","year":"2005","unstructured":"Julien Olivain and Jean Goubault-Larrecq. The orchids intrusion detection tool. In Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6--10, 2005, Proceedings, pages 286--290, 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2005.69"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_21_1","volume-title":"TGC 2015","author":"Santos Jose Fragoso","year":"2015","unstructured":"Jose Fragoso Santos, Tamara Rezk, and Ana Almeida Matos. Modular monitor extensions for information flow security in javascript. In Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, pages 47--62, 2015."},{"key":"e_1_3_2_1_22_1","first-page":"2","volume-title":"Proceedings of the 2014 Symposium and Bootcamp on the Science of Security","author":"Schmerl Bradley","unstructured":"Bradley Schmerl, Javier Camara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A Moreno, Thomas J Glazier, and Jeffrey M Barnes. Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. In Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, page 2. ACM, 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194133.3194155"},{"key":"e_1_3_2_1_24_1","first-page":"172","volume-title":"4th International Symposium, RAID 2001 Davis, CA, USA, October 10--12, 2001","author":"Uppuluri Prem","year":"2001","unstructured":"Prem Uppuluri and R. Sekar. Experiences with specification-based intrusion detection. In Recent Advances in Intrusion Detection, 4th International Symposium, RAID 2001 Davis, CA, USA, October 10--12, 2001, Proceedings, pages 172--189, 2001."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00262-6_11"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168260.2168268"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555611"}],"event":{"name":"SEAMS '20: IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Seoul Republic of Korea","acronym":"SEAMS '20"},"container-title":["Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391609","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3391609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:42Z","timestamp":1750200102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391609"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":27,"alternative-id":["10.1145\/3387939.3391609","10.1145\/3387939"],"URL":"https:\/\/doi.org\/10.1145\/3387939.3391609","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}