STPA-SafeSec: Safety and security analysis for cyber-physical systems

Avizienis, 2004, Basic concepts and taxonomy of dependable and secure computing, Dependable Secure Comput IEEE Trans, 1, 11, 10.1109/TDSC.2004.2 Best, 2008 Caldon, 2004, Temporary islanded operation of dispersed generation on distribution networks, vol. 3, 987 Considine, 2012, Understanding microgrids as the essential architecture of smart energy Dondossola, 2008, Effects of intentional threats to power substation control systems, Int J Crit Infrastruct, 4, 129, 10.1504/IJCIS.2008.016096 Duckworth, 2010 Dunjó, 2010, Hazard and operability (HAZOP) analysis. A literature review, J Hazard Mater, 173, 19, 10.1016/j.jhazmat.2009.08.076 Farhangi, 2010, The path of the smart grid, Power Energy Mag IEEE, 8, 18, 10.1109/MPE.2009.934876 Friedberg, 2015, A cyber-physical security analysis of synchronous-islanded microgrid operation Hu, 2009, A study of GPS jamming and anti-jamming, vol. 1, 388 Kang, 2015, Investigating cyber-physical attacks against IEC 61850 photovoltaic inverter installations, 1 Karnouskos, 2011, Stuxnet worm impact on industrial cyber-physical system security Kordy, 2014, DAG-based attack and defense modeling: don't miss the forest for the attack trees, Comput Sci Rev, 13–14, 1, 10.1016/j.cosrev.2014.07.001 Kundur, 2011, Towards modelling the impact of cyber attacks on a smart grid, Int J Secur Netw, 6, 2, 10.1504/IJSN.2011.039629 Laprie, 2007, Modelling interdependencies between the electricity and information infrastructures, 54 Laverty, 2008, Internet based phasor measurement system for phase control of synchronous islands, 1 Lawley, 1974, Operability studies and hazard analysis, Chem Eng Process, 70, 45 Lee, 2014 Leveson, 2004, A new accident model for engineering safer systems, Saf Sci, 42, 237, 10.1016/S0925-7535(03)00047-X Leveson, 2011 Salter, 1998, Toward a secure system engineering methodology, 2 Sridhar, 2012, Cyber physical system security for the electric power grid, P IEEE, 100, 210, 10.1109/JPROC.2011.2165269 Srivastava, 2013, Modeling cyber-physical vulnerability of the smart grid with incomplete information, IEEE Trans Smart Grid, 4, 235, 10.1109/TSG.2012.2232318 Standard, 1980 Ten, 2008, Vulnerability assessment of cybersecurity for SCADA systems, Power Syst IEEE Trans, 23, 1836, 10.1109/TPWRS.2008.2002298 Ten, 2010, Cybersecurity for critical infrastructures: attack and defense modeling, Syst Man Cybern Part A Syst Hum IEEE Trans, 40, 853, 10.1109/TSMCA.2010.2048028 Thomas, 2013 Vesely, 1981 Wang, 2013, Cyber security in the Smart Grid: survey and challenges, Comput Netw, 57, 1344, 10.1016/j.comnet.2012.12.017 Watson, 1961 Weiss, 1991, A system security engineering process, vol. 249 Young, 2013, Systems thinking for safety and security, 1 Young, 2014, An integrated approach to safety and security based on systems theory, Commun ACM, 57, 31, 10.1145/2556938 Zhang, 2013, Time synchronization attack in smart grid: impact and analysis, Smart Grid IEEE Trans, 4, 87, 10.1109/TSG.2012.2227342