{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:51:43Z","timestamp":1762005103406,"version":"3.37.3"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP19K20252"],"award-info":[{"award-number":["JP19K20252"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2929958","type":"journal-article","created":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T20:09:47Z","timestamp":1563566987000},"page":"97296-97306","source":"Crossref","is-referenced-by-count":6,"title":["WhiteRabbit: Scalable Software-Defined Network Data-Plane Verification Method Through Time Scheduling"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3177-5138","authenticated-orcid":false,"given":"Takahiro","family":"Shimizu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1191-2449","authenticated-orcid":false,"given":"Naoya","family":"Kitagawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9509-9282","authenticated-orcid":false,"given":"Kohta","family":"Ohshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2651-2701","authenticated-orcid":false,"given":"Nariyoshi","family":"Yamai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2608441"},{"key":"ref32","first-page":"8","article-title":"Precise time-synchronization in the data-plane using programmable switching ASICs","author":"kannan","year":"2019","journal-title":"Proc ACM Symp SDN Research"},{"key":"ref31","first-page":"1","article-title":"Applying NOX to the datacenter","author":"tavakoli","year":"2009","journal-title":"Proc 7th ACM Workshop Hot Topics Netw (Hotnets-VII)"},{"journal-title":"Floodlight","year":"2018","key":"ref30"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"journal-title":"OpenFlow Switch Specification Version 1 1 0","year":"2014","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2008.4579760"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.34"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2008.70"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626323"},{"key":"ref15","first-page":"333","article-title":"Secure split assignment trajectory sampling: A malicious router detection system","author":"lee","year":"2006","journal-title":"Proc Int Conf Dependable Syst Netw"},{"key":"ref16","first-page":"467","article-title":"VeriFlow: Verifying network-wide invariants in real time","volume":"42","author":"khurshid","year":"2013","journal-title":"Proc USENIX Symp Netw Syst Design Implem (NSDI)"},{"key":"ref17","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc 9th USENIX Conf Netw Syst Design Implement (NSDI)"},{"key":"ref18","article-title":"On controller performance in software-defined networks","author":"tootoonchian","year":"2012","journal-title":"Proceedings of USENIX Workshop on Hot Topics in Management of Internet Cloud and Enterprise Networks and Services (Hot-ICE) 2011"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018466"},{"journal-title":"ReversePTP Implementation","year":"2015","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"journal-title":"Ofsoftswitch13_EXT-340","year":"2015","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491199"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2016.38"},{"journal-title":"DETERlab","year":"2017","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053039"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2016.2599640"},{"journal-title":"CVE-2016-2074","year":"2019","key":"ref7"},{"journal-title":"Cisco IOS and IOS XE Software Cluster Management Protocol Remote Code Execution Vulnerability","year":"2017","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref1","first-page":"32","article-title":"Detecting suspicious behavior of SDN switches by statistics gathering with time","author":"shimizu","year":"2018","journal-title":"Proc 15th APAN Res Workshop (APAN-RW)"},{"key":"ref20","first-page":"39","article-title":"FlowMon: Detecting malicious switches in software-defined networks","author":"fung","year":"2015","journal-title":"Proceedings of the ACM Workshop on Automated Decision Making for Active Cyber Defense (SafeConfig)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2011.6070153"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2597193"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28537-0_9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/nem.1942"},{"journal-title":"Loxigen","year":"2018","author":"floodlight","key":"ref26"},{"journal-title":"Stopcock","year":"2014","author":"wood","key":"ref25"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08766827.pdf?arnumber=8766827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T19:40:09Z","timestamp":1628624409000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8766827\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2929958","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2019]]}}}