{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:26:54Z","timestamp":1773772014845,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,9]]},"DOI":"10.1145\/3359986.3361211","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T12:21:06Z","timestamp":1570450866000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Security analysis of cloud-connected industrial control systems using combinatorial testing"],"prefix":"10.1145","author":[{"given":"Peter W. V.","family":"Tran-J\u00f8rgensen","sequence":"first","affiliation":[{"name":"Aarhus University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Kulik","sequence":"additional","affiliation":[{"name":"Aarhus University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jalil","family":"Boudjadar","sequence":"additional","affiliation":[{"name":"Aarhus University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[{"name":"Aarhus University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AlloyAnalyzer 2019. The Alloy Analyzer Modelling website. http:\/\/alloytools.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2009.01.002"},{"key":"e_1_3_2_1_3_1","unstructured":"Nick Battle. 2019. VDMJ Github repository. https:\/\/github.com\/nickbattle\/vdmj."},{"key":"e_1_3_2_1_4_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Biere Armin","unstructured":"Armin Biere, Alessandro Cimatti, Edmund Clarke, and Yunshan Zhu. 1999. Symbolic Model Checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, W. Rance Cleaveland (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 193--207."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2015.38"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593501.2593502"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking and the State Explosion Problem","author":"Clarke Edmund M.","unstructured":"Edmund M. Clarke, William Klieber, Milo\u0161 Nov\u00e1\u010dek, and Paolo Zuliani. 2012. Model Checking and the State Explosion Problem. Springer Berlin Heidelberg, Berlin, Heidelberg, 1--30."},{"key":"e_1_3_2_1_8_1","volume-title":"Stolfo","author":"Cui Ang","year":"2013","unstructured":"Ang Cui, Michael Costello, and Salvatore J. Stolfo. 2013. When Firmware Modifications Attack: A Case Study of Embedded Exploitation. In NDSS."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978385"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626975"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"J. S. Fitzgerald P. G. Larsen and M. Verhoef. 2008. Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering (2008).","DOI":"10.1002\/9780470050118.ecse447"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2631890.2631894"},{"key":"e_1_3_2_1_13_1","volume-title":"Compositional Verification of Application-Level Security Properties","author":"Gunawan Linda Ariani","unstructured":"Linda Ariani Gunawan and Peter Herrmann. 2013. Compositional Verification of Application-Level Security Properties. In Engineering Secure Software and Systems, Jan J\u00fcrjens, Benjamin Livshits, and Riccardo Scandariato (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 75--90."},{"key":"e_1_3_2_1_14_1","volume-title":"The OAuth 2.0 Authorization Framework. RFC 6749","author":"Hardt Dick","unstructured":"Dick Hardt. 2012. The OAuth 2.0 Authorization Framework. RFC 6749. RFC Editor, Fremont, CA, USA. http:\/\/www.rfc-editor.org\/rfc\/rfc6749.txt"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACT.2016.7423374"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC6750"},{"key":"e_1_3_2_1_17_1","volume-title":"Formal Security Analysis of Cloud-Connected Industrial Control Systems. In International Conference on Security for Information Technology and Communications. Springer, 71--84","author":"Kulik Tomas","year":"2018","unstructured":"Tomas Kulik, Peter WV Tran-J\u00f8rgensen, and Jalil Boudjadar. 2018. Formal Security Analysis of Cloud-Connected Industrial Control Systems. In International Conference on Security for Information Technology and Communications. Springer, 71--84."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00033"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Marta Kwiatkowska. 2007. Quantitative Verification: Models Techniques and Tools. In The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers (ESEC-FSE companion '07). 449--458. 10.1145\/1295014.1295018","DOI":"10.1145\/1295014.1295018"},{"key":"e_1_3_2_1_20_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport Leslie","year":"2002","unstructured":"Leslie Lamport. 2002. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_2"},{"key":"e_1_3_2_1_22_1","unstructured":"P. G. Larsen B. S. Hansen H. Brunn N. Plat H. Toetenel D. J. Andrews J. Dawes G. Parkin et al. 1996. Information technology - Programming languages their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.32"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321731"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"Torsten Lodderstedt Mark McGloin and Phil Hunt. 2013. OAuth 2.0 Threat Model and Security Considerations. RFC 6819. 10.17487\/RFC6819","DOI":"10.17487\/RFC6819"},{"key":"e_1_3_2_1_26_1","unstructured":"MADE 2019. The Manufacturing Academy of Denmark (MADE) website. https:\/\/en.made.dk\/."},{"key":"e_1_3_2_1_27_1","volume-title":"Shedding Light on the Adoption of Let's Encrypt. arXiv preprint arXiv:1611.00469","author":"Manousis Antonis","year":"2016","unstructured":"Antonis Manousis, Roy Ragsdale, Ben Draffin, Adwiteeya Agrawal, and Vyas Sekar. 2016. Shedding Light on the Adoption of Let's Encrypt. arXiv preprint arXiv:1611.00469 (2016)."},{"key":"e_1_3_2_1_28_1","volume-title":"Symbolic Partial Model Checking for Security Analysis","author":"Martinelli Fabio","unstructured":"Fabio Martinelli. 2003. Symbolic Partial Model Checking for Security Analysis. In Computer Network Security, Vladimir Gorodetsky, Leonard Popyack, and Victor Skormin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 122--134."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/142137.142153"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.314"},{"key":"e_1_3_2_1_31_1","unstructured":"Peter W. V. Tran-J\u00f8rgensen Tomas Kulik Jalil Boudjadar and Peter Gorm Larsen. 2019. The complete version of the VDM-SL model. https:\/\/github.com\/peterwvj\/security-analysis-vdm-model."},{"key":"e_1_3_2_1_32_1","volume-title":"The 14th Overture Workshop: Towards Analytical Tool Chains, Peter Gorm Larsen, Nico Plat, and Nick Battle (Eds.)","author":"Tran-J\u00f8rgensen Peter W. V.","year":"2016","unstructured":"Peter W. V. Tran-J\u00f8rgensen, Peter Gorm Larsen, and Nick Battle. 2016. Using JML-based Code Generation to Enhance the Test Automation for VDM Models. In The 14th Overture Workshop: Towards Analytical Tool Chains, Peter Gorm Larsen, Nico Plat, and Nick Battle (Eds.). Aarhus University, Department of Engineering, Cyprus, 79--93. ECE-TR-28."}],"event":{"name":"MEMOCODE '19: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"La Jolla California","acronym":"MEMOCODE '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361211","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:27Z","timestamp":1750202007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":32,"alternative-id":["10.1145\/3359986.3361211","10.1145\/3359986"],"URL":"https:\/\/doi.org\/10.1145\/3359986.3361211","relation":{},"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}