SmartAnalyzer: A noninvasive security threat analyzer for AMI smart grid

Proceedings - IEEE INFOCOM

Volumn , Issue , 2012, Pages 2255-2263

  Rahman, Mohammad Ashiqur ^a   Bera, Padmalochan ^a   Al Shaer, Ehab ^a  

^a University of North Carolina at Charlotte   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADVANCED METERING INFRASTRUCTURES; COMMUNICATION MEDIA; COMPLEX NETWORKS; CORE COMPONENTS; DATA DELIVERY; DATA FLOW; DEVICE CONFIGURATIONS; FORMAL MODEL; FORMAL MODELING; FORMAL SECURITY ANALYSIS; GLOBAL BEHAVIORS; INHERENT COMPLEXITY; MISCONFIGURATIONS; POTENTIAL THREATS; REMEDIATION PLAN; SATISFIABILITY MODULO THEORIES; SECURITY CONSTRAINT; SECURITY CONTROLS; SECURITY POLICY; SECURITY PROPERTIES; SECURITY THREATS; SMART GRID; SYNTHETIC TESTS; VERIFICATION RESULTS;

COMMUNICATION; DATA FLOW ANALYSIS; ELECTRIC POWER TRANSMISSION NETWORKS; SMART POWER GRIDS;

SECURITY SYSTEMS;

EID: 84861589650     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INFCOM.2012.6195611     Document Type: Conference Paper

References (14)

1. Security in the Smart Grid, ABB White Paper, ABB Inc. Cary, 2009.
2. B. Brown et al. AMI system security requirements: V1.01 AMI-SEC Task Force, 2008.
3. NISTIR 7628: Guidelines for Smart Grid Cyber Security, Smart Grid Interoperability Panel- Cyber Security Working Group, August 2010.
4. AMI System Security Requirements: V1.01. AMI-SEC Task Force, Available in http://osgug.ucaiug.org/utilisec/amisec/.
5. Patrick McDaniel and Sean W. Smith, Security and Privacy Challenges in Smart Grid, IEEE Security and Privacy, June, 2009.
6. Y. Wang, D. Ruan, J. Xu, M. Wen and L. Deng. Computational Intelligence Algorithms Analysis for Smart Grid Cyber Security, Lecture Notes in Computer Science, Vol. 6146, p. 77-84, Springer, 2010.
7. Richard Alimi, Ye Wang, and Y. Richard Yang. Shadow configuration as a network management primitive. ACM SIGCOMM conference on Data communication, 2008.
8. X. Ou, S. Govindavajhala, and A. Appel. MulVAL: A Logic-based Network Security Analyzer, 14th USENIX Security Symposium, 2005.
9. Y. Liu, P. Ning and M. K. Reiter. False Data Injection Attacks Against State Estimation in Electrical power Grids, The 16th ACM Conference on Computer and Communications Security, November 2009.
10. Z. Anwar, R. Shankesi and R. H. Campbell. Automatic Security Assessment of critical cyber-infrastructures, 38th Annual IEE/IFIP International Conference on Dependable Systems and Networks, 2008.
11. S. McLaughlin, et al. Multi-vendor Penetration Testing in the Advanced Metering Infrastructure. ACSAC, USA, 2010.
12. E. Al-shaer , W. Marrero , A. El-atawy and K. Elbadawi, Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security. ICNP, 2009.
13. Bruno Dutertre and Leonardo De Moura, The Yices SMT Solver, Technical Report, 2006, Available in http://yices.csl.sri.com/tool-paper.pdf
14. AMI Smart Grid Testbed at UNC Charlotte, http://www.cyberdna.uncc.edu/ events.php.