{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:00:51Z","timestamp":1782968451064,"version":"3.54.5"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/iccps.2014.6843721","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T21:09:21Z","timestamp":1406581761000},"page":"175-186","source":"Crossref","is-referenced-by-count":37,"title":["A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids"],"prefix":"10.1109","author":[{"given":"Mohammad Ashiqur","family":"Rahman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ehab","family":"Al-Shaer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rajesh G.","family":"Kavasseri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2013.6687993"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1952982.1952995"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2230199"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2012.6503599"},{"key":"14","article-title":"Satisfiability modulo theories: An appetizer","author":"de moura","year":"2009","journal-title":"Brazilian Symposium on Formal Methods"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160456"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2011.6102314"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653666"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622049"},{"key":"1","author":"wood","year":"1996","journal-title":"Power Generation Operation and Control"},{"key":"10","year":"0","journal-title":"Power systems test case archive"},{"key":"7","article-title":"Detecting false data injection attacks on dc state estimation","author":"bobba","year":"2010","journal-title":"Workshop on Secure Control Systems CPS Week"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717318"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1201\/9780203913673","author":"abur","year":"2004","journal-title":"Power System State Estimation Theory and Implementation"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4999-4"},{"key":"9","year":"0","journal-title":"Microsoft Research"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2011.2119336"}],"event":{"name":"2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS)","location":"Berlin, Germany","start":{"date-parts":[[2014,4,14]]},"end":{"date-parts":[[2014,4,17]]}},"container-title":["2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6834857\/6843703\/06843721.pdf?arnumber=6843721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:38:53Z","timestamp":1602689933000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6843721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iccps.2014.6843721","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}