{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T15:57:10Z","timestamp":1779206230282,"version":"3.51.4"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001321","name":"National Research Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001321","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010002","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010002","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,7]]},"DOI":"10.1109\/sose55472.2022.9812676","type":"proceedings-article","created":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T19:40:48Z","timestamp":1657136448000},"page":"317-322","source":"Crossref","is-referenced-by-count":2,"title":["Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing"],"prefix":"10.1109","author":[{"given":"May Myat","family":"Thwe","sequence":"first","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST),School of Computing,Daejeon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zelalem Mihret","family":"Belay","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST),School of Computing,Daejeon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST),School of Computing,Daejeon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST),School of Computing,Daejeon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/ICSTW.2009.15","article-title":"Test Case Generation Using Model Checking for Software Components Deployed into New Environments","author":"bao","year":"2009","journal-title":"2009 International Conference on Software Testing Verification and Validation icst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2017.10.002"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3021192"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3356317.3356319"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2008.21"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1016\/j.procs.2014.03.086","article-title":"Communications, Information, and Cyber Security in Systems-of-Systems: Assessing the Impact of Attacks through Interdependency Analysis","volume":"28","author":"guariniello","year":"2014","journal-title":"Procedia Computer Science"},{"key":"ref17","author":"ruse","year":"2013","journal-title":"Model checking techniques for vulnerability analysis of Web applications"},{"key":"ref18","author":"vernotte","year":"2015","journal-title":"A pattern-driven and model-based vulnerability testing for web applications"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW52544.2021.00041"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652284"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_59"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref5","first-page":"138","author":"olivero","year":"2019","journal-title":"Addressing Security Properties in Systems of Systems Challenges and Ideas"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.086"},{"key":"ref7","author":"surve","year":"2011","journal-title":"Model based approach to assist test case creation execution and maintenance for test automation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/EnCyCriS52570.2021.00008"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75307-2_12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SESoS\/WDES.2019.00017"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2017.7999652"}],"event":{"name":"2022 17th Annual System of Systems Engineering Conference (SOSE)","location":"Rochester, NY, USA","start":{"date-parts":[[2022,6,7]]},"end":{"date-parts":[[2022,6,11]]}},"container-title":["2022 17th Annual System of Systems Engineering Conference (SOSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9812583\/9812630\/09812676.pdf?arnumber=9812676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T00:39:04Z","timestamp":1659659944000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9812676\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/sose55472.2022.9812676","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]}}}