Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis
作者： Kristian Beckers , Maritta Heisel , Leanid Krautsevich , Fabio Martinelli , Rene Meis
DOI: 10.1007/978-3-319-10329-7_3
关键词:
摘要: Smart grid is an intelligent energy distribution system consisting of multiple information and communication technologies (ICT). One the challenges for such complex heterogeneous as smart to unite security analysis on a high level abstraction concrete behavioral attack patterns that exploit low-level vulnerabilities. We provide structured method combines Si* language, which can express attacker motivations goal hierarchy, vulnerability specific graphs, shows every step available attacker. derive from representation high-level probabilistic analysis.
springer.com
cnr.it 
sci-hub.se 参考文章(22)
Yudistira Asnar, Fabio Massacci, A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach Foundations of Security Analysis and Design VI. pp. 152- 184 ,(2011) , 10.1007/978-3-642-23082-0_6
Haralambos Mouratidis, Paolo Giorgini, Gordon A. Manson, Using Security Attack Scenarios to Analyse Security During Information Systems Design international conference on enterprise information systems. pp. 10- 17 ,(2004)
Xinzhou Qin, Wenke Lee, Attack plan recognition and prediction using causal networks annual computer security applications conference. pp. 370- 379 ,(2004) , 10.1109/CSAC.2004.7
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures Lecture Notes in Computer Science. ,vol. 5705, ,(2009) , 10.1007/978-3-642-03829-7
Advances in Intelligent Information Systems intelligent information systems. pp. 384- 384 ,(2009) , 10.1007/978-3-642-05183-8
Steven Noel, Sushil Jajodia, Managing attack graph complexity through visual hierarchical aggregation visualization for computer security. pp. 109- 118 ,(2004) , 10.1145/1029208.1029225
Jan Jürjens, Using UMLsec and goal trees for secure systems development Proceedings of the 2002 ACM symposium on Applied computing - SAC '02. pp. 1026- 1030 ,(2002) , 10.1145/508791.508990
Ludovic Piètre-Cambacédès, Marc Bouissou, Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP) european dependable computing conference. pp. 199- 208 ,(2010) , 10.1109/EDCC.2010.32
Carlos Sarraute, Gerardo Richarte, Jorge Lucángeli Obes, An algorithm to find optimal attack paths in nondeterministic scenarios Proceedings of the 4th ACM workshop on Security and artificial intelligence - AISec '11. pp. 71- 80 ,(2011) , 10.1145/2046684.2046695
G.C. Dalton, R.F. Mills, J.M. Colombi, R.A. Raines, Analyzing Attack Trees using Generalized Stochastic Petri Nets 2006 IEEE Information Assurance Workshop. pp. 116- 123 ,(2006) , 10.1109/IAW.2006.1652085