{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:17:14Z","timestamp":1740100634865,"version":"3.37.3"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T00:00:00Z","timestamp":1644710400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T00:00:00Z","timestamp":1644710400000},"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\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,2,13]]},"DOI":"10.23919\/icact53585.2022.9728939","type":"proceedings-article","created":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T20:27:02Z","timestamp":1647030422000},"page":"518-523","source":"Crossref","is-referenced-by-count":0,"title":["Verification Framework for Software-Defined Networking"],"prefix":"10.23919","author":[{"given":"Miyoung","family":"Kang","sequence":"first","affiliation":[{"name":"Korea University,School of Cybersecurity,Seoul,Korea,02841"}]},{"given":"Jong Jin","family":"Cho","sequence":"additional","affiliation":[{"name":"Korea University,School of Cybersecurity,Seoul,Korea,02841"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2746186"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2016.11.017"},{"key":"ref12","article-title":"A NICE way to test Open-Flow applications","author":"canini","year":"2012","journal-title":"NSDI"},{"key":"ref13","article-title":"Frenetic: A high-level language for OpenFlow networks","author":"foster","year":"2011","journal-title":"PRESTO’10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"ref15","article-title":"Header Space Analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"NSDI"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377748"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2015.7218382"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1587\/transcom.2015EBP3329"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167381"},{"year":"0","key":"ref4","article-title":"Open Networking Foundation. OpenFlow® Switch Specification Ver 1.5.1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461195"},{"year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JPROC.2014.2371999","article-title":"Software-defined networking: A comprehensive survey","volume":"103","author":"kreutz","year":"2014","journal-title":"Proceedings of the IEEE"},{"year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2014.6963800"},{"key":"ref1","first-page":"69","article-title":"OpenFlow: enabling innovation in campus networks","volume":"28","author":"kckeown","year":"2008","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2330903"}],"event":{"name":"2022 24th International Conference on Advanced Communication Technology (ICACT)","start":{"date-parts":[[2022,2,13]]},"location":"PyeongChang Kwangwoon_Do, Korea, Republic of","end":{"date-parts":[[2022,2,16]]}},"container-title":["2022 24th International Conference on Advanced Communication Technology (ICACT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9728250\/9728768\/09728939.pdf?arnumber=9728939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T21:29:29Z","timestamp":1653341369000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9728939\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,13]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/icact53585.2022.9728939","relation":{},"subject":[],"published":{"date-parts":[[2022,2,13]]}}}