Secure and Resilient Industrial Control Systems
暂无分享,去创建一个
[1] Dimitrios N. Serpanos,et al. ARMET: Behavior-Based Secure and Resilient Industrial Control Systems , 2018, Proceedings of the IEEE.
[2] Gabriela Hug,et al. Vulnerability Assessment of AC State Estimation With Respect to False Data Injection Cyber-Attacks , 2012, IEEE Transactions on Smart Grid.
[3] Peng Ning,et al. False data injection attacks against state estimation in electric power grids , 2011, TSEC.
[4] Ehab Al-Shaer,et al. A formal model for verifying stealthy attacks on state estimation in power grids , 2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm).
[5] Armando Solar-Lezama,et al. Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[6] Adam Chlipala,et al. Fiat , 2015, POPL.
[7] Harold Willmington,et al. What You Need to Know About You , 2010 .