{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T10:16:37Z","timestamp":1779099397165,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,8,27]],"date-time":"2018-08-27T00:00:00Z","timestamp":1535328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100009527","name":"Myndigheten f\u00f6r Samh\u00e4llsskydd och Beredskap","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009527","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001858","name":"VINNOVA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,8,27]]},"DOI":"10.1145\/3230833.3232799","type":"proceedings-article","created":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T12:29:48Z","timestamp":1534163388000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":93,"title":["A Meta Language for Threat Modeling and Attack Simulations"],"prefix":"10.1145","author":[{"given":"Pontus","family":"Johnson","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lagerstr\u00f6m","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Ekstedt","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,8,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.2.1.47-59"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2014.18"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998443"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1850795.1850798"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. 7th Int. Conf. Softw. Eng. Advances (ICSEA'12)","author":"do Nascimento Leandro Marques","year":"2012","unstructured":"Leandro Marques do Nascimento , Daniel Leite Viana , Paulo AM Silveira Neto , Dhiego AO Martins , Vinicius Cardoso Garcia , and Silvio RL Meira . 2012 . A systematic mapping study on domain-specific languages . In Proc. 7th Int. Conf. Softw. Eng. Advances (ICSEA'12) . 179--187. Leandro Marques do Nascimento, Daniel Leite Viana, Paulo AM Silveira Neto, Dhiego AO Martins, Vinicius Cardoso Garcia, and Silvio RL Meira. 2012. A systematic mapping study on domain-specific languages. In Proc. 7th Int. Conf. Softw. Eng. Advances (ICSEA'12). 179--187."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2015.40"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1456362.1456368"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2684464.2684494"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1108\/10662240610710978"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782174.1782200"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2382574"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2590624.2590627"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2009.21"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2016.77"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719625"},{"key":"e_1_3_2_1_17_1","volume-title":"Secure systems development with UML","author":"J\u00fcrjens Jan","unstructured":"Jan J\u00fcrjens . 2005. Secure systems development with UML . Springer Science & Business Media . Jan J\u00fcrjens. 2005. Secure systems development with UML. Springer Science & Business Media."},{"key":"e_1_3_2_1_18_1","volume-title":"International Workshop on Formal Aspects in Security and Trust. Springer, 80--95","author":"Kordy Barbara","year":"2010","unstructured":"Barbara Kordy , Sjouke Mauw , Sa\u0161a Radomirovi\u0107 , and Patrick Schweitzer . 2010 . Foundations of attack--defense trees . In International Workshop on Formal Aspects in Security and Trust. Springer, 80--95 . Barbara Kordy, Sjouke Mauw, Sa\u0161a Radomirovi\u0107, and Patrick Schweitzer. 2010. Foundations of attack--defense trees. In International Workshop on Formal Aspects in Security and Trust. Springer, 80--95."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2014.07.001"},{"key":"e_1_3_2_1_20_1","first-page":"14","article-title":"Evaluation of computer network security based on attack graphs and security event processing","volume":"5","author":"Kotenko Igor","year":"2014","unstructured":"Igor Kotenko and Elena Doynikova . 2014 . Evaluation of computer network security based on attack graphs and security event processing . Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA) 5 , 3 (2014), 14 -- 29 . Igor Kotenko and Elena Doynikova. 2014. Evaluation of computer network security based on attack graphs and security event processing. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA) 5, 3 (2014), 14--29.","journal-title":"Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)"},{"key":"e_1_3_2_1_21_1","volume-title":"Model-driven risk analysis: the CORAS approach","author":"Lund Mass Soldal","unstructured":"Mass Soldal Lund , Bj\u00f8rnar Solhaug , and Ketil St\u00f8len . 2010. Model-driven risk analysis: the CORAS approach . Springer Science & Business Media . Mass Soldal Lund, Bj\u00f8rnar Solhaug, and Ketil St\u00f8len. 2010. Model-driven risk analysis: the CORAS approach. Springer Science & Business Media."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11734727_17"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings Agent Oriented Methodologies Workshop, Annual ACM Conference on Object Oriented Programming, Systems, Languages (OOPSLA)","author":"Mouratidis Haralambos","year":"2002","unstructured":"Haralambos Mouratidis , Paolo Giorgini , Gordon Manson , Ian Philp , and others. 2002 . A Natural Extension of Tropos Methodology for Modelling Security . In Proceedings Agent Oriented Methodologies Workshop, Annual ACM Conference on Object Oriented Programming, Systems, Languages (OOPSLA) , Seattle-USA. Citeseer. Haralambos Mouratidis, Paolo Giorgini, Gordon Manson, Ian Philp, and others. 2002. A Natural Extension of Tropos Methodology for Modelling Security. In Proceedings Agent Oriented Methodologies Workshop, Annual ACM Conference on Object Oriented Programming, Systems, Languages (OOPSLA), Seattle-USA. Citeseer."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CATCH.2009.19"},{"issue":"5","key":"e_1_3_2_1_25_1","first-page":"1","article-title":"Meta-Object Facility (MOF) Core Specification","volume":"2","author":"Object Management Group (OMG).","year":"2016","unstructured":"Object Management Group (OMG). 2016 . Meta-Object Facility (MOF) Core Specification , Version 2 . 5 . 1 . OMG Document Number: formal\/2016-11-01 (http:\/\/www.omg.org\/spec\/MOF\/2.5.1). (2016). Object Management Group (OMG). 2016. Meta-Object Facility (MOF) Core Specification, Version 2.5.1. OMG Document Number: formal\/2016-11-01 (http:\/\/www.omg.org\/spec\/MOF\/2.5.1). (2016).","journal-title":"Version"},{"issue":"5","key":"e_1_3_2_1_26_1","first-page":"1","article-title":"OMG\u00c2\u0151 Unified Modeling Language\u00c2\u0151 (OMG UML\u00c2\u0151)","volume":"2","author":"Object Management Group (OMG).","year":"2017","unstructured":"Object Management Group (OMG). 2017 . OMG\u00c2\u0151 Unified Modeling Language\u00c2\u0151 (OMG UML\u00c2\u0151) , Version 2 . 5 . 1 . OMG Document Number: formal\/2016-11-01 (http:\/\/www.omg.org\/spec\/UML\/2.5.1). (2017). Object Management Group (OMG). 2017. OMG\u00c2\u0151 Unified Modeling Language\u00c2\u0151 (OMG UML\u00c2\u0151), Version 2.5.1. OMG Document Number: formal\/2016-11-01 (http:\/\/www.omg.org\/spec\/UML\/2.5.1). (2017).","journal-title":"Version"},{"key":"e_1_3_2_1_27_1","unstructured":"Xinming Ou Sudhakar Govindavajhala and Andrew W Appel. 2005. MulVAL: A Logic-based Network Security Analyzer. In USENIX security.   Xinming Ou Sudhakar Govindavajhala and Andrew W Appel. 2005. MulVAL: A Logic-based Network Security Analyzer. In USENIX security."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1860-3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2015.07.007"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2011.34"},{"key":"e_1_3_2_1_31_1","volume-title":"Attack trees. Dr. Dobb\u00e2\u0102Źs journal 24, 12","author":"Schneier Bruce","year":"1999","unstructured":"Bruce Schneier . 1999. Attack trees. Dr. Dobb\u00e2\u0102Źs journal 24, 12 ( 1999 ), 21--29. Bruce Schneier. 1999. Attack trees. Dr. Dobb\u00e2\u0102Źs journal 24, 12 (1999), 21--29."},{"key":"e_1_3_2_1_32_1","first-page":"318","article-title":"Lies: digital security in a networked world","volume":"21","author":"Schneier Secrets","year":"2000","unstructured":"Secrets Schneier . 2000 . Lies: digital security in a networked world . New York, John Wiley & Sons 21 (2000), 318 -- 333 . Secrets Schneier. 2000. Lies: digital security in a networked world. New York, John Wiley & Sons 21 (2000), 318--333.","journal-title":"New York, John Wiley & Sons"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2221853"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2013.24"},{"key":"e_1_3_2_1_35_1","volume-title":"GARNET: A graphical attack graph and reachability network evaluation tool","author":"Williams Leevar","year":"2008","unstructured":"Leevar Williams , Richard Lippmann , and Kyle Ingols . 2008 . GARNET: A graphical attack graph and reachability network evaluation tool . Springer . Leevar Williams, Richard Lippmann, and Kyle Ingols. 2008. GARNET: A graphical attack graph and reachability network evaluation tool. Springer."},{"key":"e_1_3_2_1_36_1","volume-title":"Dependable Systems and Networks (DSN), 2010 IEEE\/IFIP Int. Conf. on. IEEE, 211--220","author":"Xie Peng","year":"2010","unstructured":"Peng Xie , Jason H Li , Xinming Ou , Peng Liu , and Renato Levy . 2010 . Using Bayesian networks for cyber security analysis . In Dependable Systems and Networks (DSN), 2010 IEEE\/IFIP Int. Conf. on. IEEE, 211--220 . Peng Xie, Jason H Li, Xinming Ou, Peng Liu, and Renato Levy. 2010. Using Bayesian networks for cyber security analysis. In Dependable Systems and Networks (DSN), 2010 IEEE\/IFIP Int. Conf. on. IEEE, 211--220."}],"event":{"name":"ARES 2018: International Conference on Availability, Reliability and Security","location":"Hamburg Germany","acronym":"ARES 2018","sponsor":["Universit\u00e4t Hamburg Universit\u00e4t Hamburg"]},"container-title":["Proceedings of the 13th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3230833.3232799","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3230833.3232799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:50Z","timestamp":1750212470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3230833.3232799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,27]]},"references-count":36,"alternative-id":["10.1145\/3230833.3232799","10.1145\/3230833"],"URL":"https:\/\/doi.org\/10.1145\/3230833.3232799","relation":{},"subject":[],"published":{"date-parts":[[2018,8,27]]},"assertion":[{"value":"2018-08-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}