{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:02:08Z","timestamp":1730296928419,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T00:00:00Z","timestamp":1666656000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T00:00:00Z","timestamp":1666656000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,25]]},"DOI":"10.1109\/smartgridcomm52983.2022.9961035","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T20:53:04Z","timestamp":1669927984000},"page":"128-133","source":"Crossref","is-referenced-by-count":0,"title":["A Framework to Evaluate PMU Networks for Resiliency Under Network Failure Conditions"],"prefix":"10.1109","author":[{"given":"Reuben Samson","family":"Raj","sequence":"first","affiliation":[{"name":"University of Arkansas,Department of Computer Science and Computer Engineering,Fayetteville,USA"}]},{"given":"Dong","family":"Jin","sequence":"additional","affiliation":[{"name":"University of Arkansas,Department of Computer Science and Computer Engineering,Fayetteville,USA"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425949"},{"key":"ref11","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","author":"prabhu","year":"2020","journal-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PEAM.2011.6135115"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2013.2242698"},{"journal-title":"PMU evaluation framework","year":"0","author":"samson raj","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm47815.2020.9303004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2013.2246822"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2016.2593021"},{"key":"ref5","first-page":"156","article-title":"A probabilistic risk mitigation model for cyber-attacks to PMU networks","volume":"30","author":"valenzuela","year":"2014","journal-title":"IEEE Transactions on Power Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PESGM.2014.6939532"},{"journal-title":"IEEE standard for synchrophasor data transfer for power systems IEEE Std C37 118 2–2011 (Revision of IEEE Std C37 118-2005)","first-page":"1","year":"2011","key":"ref1"},{"key":"ref9","first-page":"12","article-title":"Model checking large network protocol implementations","volume":"4","author":"musuvathi","year":"2004","journal-title":"Proceedings of the First Symposium on Networked Systems Design and Implementation"}],"event":{"name":"2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)","start":{"date-parts":[[2022,10,25]]},"location":"Singapore, Singapore","end":{"date-parts":[[2022,10,28]]}},"container-title":["2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9960863\/9960962\/09961035.pdf?arnumber=9961035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T19:59:39Z","timestamp":1671479979000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9961035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,25]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/smartgridcomm52983.2022.9961035","relation":{},"subject":[],"published":{"date-parts":[[2022,10,25]]}}}