{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:28:15Z","timestamp":1755998895224,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T00:00:00Z","timestamp":1580860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["830929"],"award-info":[{"award-number":["830929"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,2,5]]},"DOI":"10.1145\/3377024.3377041","type":"proceedings-article","created":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T17:20:12Z","timestamp":1581009612000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Variability meets security"],"prefix":"10.1145","author":[{"given":"Maurice H. ter","family":"Beek","sequence":"first","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[{"name":"DTU, Lyngby, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[{"name":"DTU, Lyngby, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"e_1_3_2_1_2_1","unstructured":"Amenaza 2006. The SecuITree\u00ae BurgleHouse Tutorial (a.k.a. Who wants to be a Cat Burglar?). Amenaza. https:\/\/www.amenaza.com\/downloads\/docs\/Tutorial.pdf  Amenaza 2006. The SecuITree \u00ae BurgleHouse Tutorial (a.k.a. Who wants to be a Cat Burglar?) . Amenaza. https:\/\/www.amenaza.com\/downloads\/docs\/Tutorial.pdf"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.15"},{"volume-title":"Principles of Model Checking","author":"Baier Christel","key":"e_1_3_2_1_4_1","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking . The MIT Press . http:\/\/mitpress.mit.edu\/books\/principles-model-checking Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press. http:\/\/mitpress.mit.edu\/books\/principles-model-checking"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302349"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.182.5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791087"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2853726"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500722"},{"volume-title":"A Framework for Quantitative Security Modeling and Analysis of Customizable Attack Scenarios. Master's thesis","author":"B\u00e6k Christian Toftemann","key":"e_1_3_2_1_11_1","unstructured":"Christian Toftemann B\u00e6k and Christian Bach . 2018. A Framework for Quantitative Security Modeling and Analysis of Customizable Attack Scenarios. Master's thesis . Technical University of Denmark . https:\/\/findit.dtu.dk\/en\/catalog\/2436333772 Christian Toftemann B\u00e6k and Christian Bach. 2018. A Framework for Quantitative Security Modeling and Analysis of Customizable Attack Scenarios. Master's thesis. Technical University of Denmark. https:\/\/findit.dtu.dk\/en\/catalog\/2436333772"},{"volume-title":"Proceedings of the 3rd International Conference on Security and Privacy in Communications Networks (SecureComm'07)","author":"Seyit","key":"e_1_3_2_1_12_1","unstructured":"Seyit Ahmet \u00c7amtepe and B\u00fclent Yener. 2007. Modeling and detection of complex attacks . In Proceedings of the 3rd International Conference on Security and Privacy in Communications Networks (SecureComm'07) . IEEE, 234--243. Seyit Ahmet \u00c7amtepe and B\u00fclent Yener. 2007. Modeling and detection of complex attacks. In Proceedings of the 3rd International Conference on Security and Privacy in Communications Networks (SecureComm'07). IEEE, 234--243."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30985-5_18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808783.2808787"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_18"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49635-0_9"},{"key":"e_1_3_2_1_20_1","volume-title":"AD-Tool: Security Analysis with Attack-Defense Trees (Extended Version). CoRR abs\/1305.6829","author":"Kordy Barbara","year":"2013","unstructured":"Barbara Kordy , Piotr Kordy , Sjouke Mauw , and Patrick Schweitzer . 2013. AD-Tool: Security Analysis with Attack-Defense Trees (Extended Version). CoRR abs\/1305.6829 ( 2013 ). arXiv:1305.6829 http:\/\/arxiv.org\/abs\/1305.6829 Barbara Kordy, Piotr Kordy, Sjouke Mauw, and Patrick Schweitzer. 2013. AD-Tool: Security Analysis with Attack-Defense Trees (Extended Version). CoRR abs\/1305.6829 (2013). arXiv:1305.6829 http:\/\/arxiv.org\/abs\/1305.6829"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19751-2_6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2014.07.001"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22975-1_11"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68270-9_6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023970"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11599-3_12"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11734727_17"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MINES.2011.94"},{"volume-title":"Probability Models for Computer Science","author":"Ross Sheldon M.","key":"e_1_3_2_1_31_1","unstructured":"Sheldon M. Ross . 2001. Probability Models for Computer Science . Academic Press . Sheldon M. Ross. 2001. Probability Models for Computer Science. Academic Press."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/sec.299"},{"key":"e_1_3_2_1_33_1","volume-title":"https:\/\/www.schneier.com\/academic\/archives\/1999\/12\/attack_trees.html","author":"Schneier Bruce","year":"1999","unstructured":"Bruce Schneier . 1999. Attack Trees . Dr. Dobb's Journal ( 1999 ). https:\/\/www.schneier.com\/academic\/archives\/1999\/12\/attack_trees.html Bruce Schneier. 1999. Attack Trees. Dr. Dobb's Journal (1999). https:\/\/www.schneier.com\/academic\/archives\/1999\/12\/attack_trees.html"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2013.254377"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_19"}],"event":{"name":"VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS '20","location":"Magdeburg Germany"},"container-title":["Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377024.3377041","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377024.3377041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:49Z","timestamp":1750202629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377024.3377041"}},"subtitle":["qantitative security modeling and analysis of highly customizable attack scenarios"],"short-title":[],"issued":{"date-parts":[[2020,2,5]]},"references-count":35,"alternative-id":["10.1145\/3377024.3377041","10.1145\/3377024"],"URL":"https:\/\/doi.org\/10.1145\/3377024.3377041","relation":{},"subject":[],"published":{"date-parts":[[2020,2,5]]},"assertion":[{"value":"2020-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}