Smart grid protocol testing through cyber-physical testbeds

2013 IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013

Volumn , Issue , 2013, Pages

  Yardley, Tim ^a   Berthier, Robin ^a   Nicol, David ^a   Sanders, William H ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL CHALLENGES; CYBER PHYSICALS; CYBER SECURITY; PROBLEM AREAS; SECURITY TESTING; SMART GRID; TESTBED EXPERIMENTATIONS;

ADVANCED METERING INFRASTRUCTURES; SMART POWER GRIDS; TESTBEDS;

STANDARDS;

EID: 84876946803     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISGT.2013.6497837     Document Type: Conference Paper

References (19)

1. National SCADA Test Bed (fact sheet). Available at http://www.inl.gov/ scada/factsheets/d/nstb.pdf.
2. M. Abadi and R. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6-15, 1996.
3. D. C. Bergman, D. Jin, D. M. Nicol, and T. Yardley. The virtual power system testbed and inter-testbed integration. In Proceedings of the 2nd Conference on Cyber Security Experimentation and Test, CSET'09, page 5, Berkeley, CA, USA, 2009. USENIX Association.
4. R. Berthier and W. Sanders. Specification-based intrusion detection for advanced metering infrastructures. In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pages 184-193. IEEE, 2011.
5. D. Grochocki, J. H. Huh, R. Berthier, R. Bobba, W. H. Sanders, A. A. Crdenas, and J. G. Jetcheva. AMI Threats, Intrusion Detection Requirements and Deployment Recommendations. In Proceedings of the 3rd IEEE International Conference on Smart Grid Communications (SmartGridComm), Tainan City, Taiwan, Nov. 5-8, 2012, to appear.
6. Florian Skopika, Zhendong Maa, Thomas Bleiera, and Helmut Grneisb A Survey on Threats and Vulnerabilities in Smart Metering Infrastructures In International Journal of Smart Grid and Clean Energy, vol. 1, no. 1, September 2012, pp. 2228 ISSN: 2315-4462
7. ANSI C12.22: Protocol specification for interfacing to data communication networks. National Electrical Manufacturers Association, 2008.
8. DNP3 Users Group Technical Committee. DNP3 secure authentication specification version 2.0, DNP users group documentation as a supplement to volume 2 of DNP3. Technical report, DNP Users Group, 2008.
9. D. Hardin, E. Smith, and W. Young. A robust machine code proof framework for highly secure applications. In Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, pages 11-20. ACM, 2006.
10. H. Khurana, R. Bobba, T. Yardley, P. Agarwal, and E. Heine. Design principles for power grid cyber-infrastructure authentication protocols. In Proceedings of the 2010 43rd Hawaii International Conference on System Sciences, HICSS '10, Washington, DC, USA, 2010. IEEE Computer Society.
11. H. Liu. Formal Specification and Verification of a JVM and its Bytecode Verifier. PhD thesis, The University of Texas at Austin, 2006.
12. S. McLaughlin, D. Podkuiko, S. Miadzvezhanka, A. Delozier, and P. McDaniel. Multi-vendor penetration testing in the advanced metering infrastructure. In Proceedings of the 26th Annual Computer Security Applications Conference (ACSAC), pages 107-116, New York, NY, USA, 2010. ACM.
13. National Institute of Standards and Technology. NIST 800-57: Recommendation for key management-part 1: General. Available at http://csrc.nist.gov/publications/nistpubs/800-57/sp800-57-Part1-revised2Mar08- 2007.pdf.
14. National Institute of Standards and Technology. NIST IR 7628: Guidelines for smart grid cyber security. Available at http://csrc.nist.gov/publications/ PubsNISTIRs.html#NIST-IR-7628.
15. D. M. Nicol, C. M. Davis, and T. Overbye. A testbed for power system security evaluation. Int. J. Inf. Comput. Secur., 3(2):114-131, Oct. 2009.
16. J. Searle, G. Rasche, A. Wright, and S. Dinnage. Available at http://www.smartgrid.epri.com/doc/AMI-Penetration-Test-Plan-1-0-RC3.pdf.
17. T. Song, C. Ko, C. Tseng, P. Balasubramanyam, A. Chaudhary, and K. Levitt. Formal reasoning about a specification-based intrusion detection for dynamic auto-configuration protocols in ad hoc networks. In Proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, pages 16-33, 2006.
18. USC ISI. DETER Project. http://deter-project.org.
19. S. Whalen, M. Bishop, and S. Engle. Protocol vulnerability analysis. Technical report, 2005.