{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:50:34Z","timestamp":1753357834417},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/isgt.2013.6497837","type":"proceedings-article","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T16:14:44Z","timestamp":1366042484000},"page":"1-6","source":"Crossref","is-referenced-by-count":14,"title":["Smart grid protocol testing through cyber-physical testbeds"],"prefix":"10.1109","author":[{"given":"T.","family":"Yardley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Berthier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Nicol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. H.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Protocol Vulnerability Analysis","year":"2005","author":"whalen","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/11679219_3"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1504\/IJICS.2009.028809"},{"year":"0","key":"16"},{"year":"0","key":"13"},{"year":"0","key":"14"},{"journal-title":"Formal Specification and Verification of A JVM and Its Bytecode Verifier","year":"2006","author":"liu","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1920261.1920277"},{"key":"3","first-page":"5","article-title":"The virtual power system testbed and inter-testbed integration","author":"bergman","year":"2009","journal-title":"Proceedings of the 2nd Conference on Cyber Security Experimentation and Test CSET'09"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.481513"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1109\/HICSS.2010.136","article-title":"Design principles for power grid cyber-infrastructure authentication protocols","author":"khurana","year":"2010","journal-title":"Proceedings of the 2010 43rd Hawaii International Conference on System Sciences HICSS '10"},{"journal-title":"Protocol Specification for Interfacing to Data Communication Networks","year":"2008","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.12720\/sgce.1.1.22-28"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2012.6486016"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.30"},{"key":"9","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1217975.1217978","article-title":"A robust machine code proof framework for highly secure applications","author":"hardin","year":"2006","journal-title":"Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications"},{"journal-title":"DNP3 Secure Authentication Specification Version 2 0 DNP Users Group Documentation As A Supplement to Volume 2 of DNP3","year":"2008","key":"8"}],"event":{"name":"2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT 2013)","start":{"date-parts":[[2013,2,24]]},"location":"Washington, DC","end":{"date-parts":[[2013,2,27]]}},"container-title":["2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6490106\/6497783\/06497837.pdf?arnumber=6497837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:22:28Z","timestamp":1498029748000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6497837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isgt.2013.6497837","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}