48403 20210121114517.0 doi 10.1093/comjnl/bxu096 sideral 89940 ART-2015-89940 eng (orcid)0000-0001-7982-0359 Rodríguez, Ricardo Universidad de Zaragoza Modelling Security of Critical Infrastructures: A Survivability Assessment 2015 Access copy available to the general public Unrestricted Critical infrastructures, usually designed to handle disruptions caused by human errors or random acts of nature, define assets whose normal operation must be guaranteed to maintain its essential services for human daily living. Malicious intended attacks to these targets need to be considered during system design. To face these situations, defence plans must be developed in advance. In this paper, we present a Unified Modelling Language profile, named SecAM, that enables the modelling and security specification for critical infrastructures during the early phases (requirements, design) of system development life cycle. SecAM enables security assessment, through survivability analysis, of different security solutions before system deployment. As a case study, we evaluate the survivability of the Saudi Arabia crude-oil network under two different attack scenarios. The stochastic analysis, carried out with Generalized Stochastic Petri nets, quantitatively estimates the minimization of attack damages on the crude-oil network. info:eu-repo/grantAgreement/ES/MINECO/TIN2011-24932 info:eu-repo/semantics/openAccess by-nc-nd http://creativecommons.org/licenses/by-nc-nd/3.0/es/ 1.0 2015 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 27 / 51 = 0.529 2015 Q3 T2 COMPUTER SCIENCE, THEORY & METHODS 53 / 105 = 0.505 2015 Q3 T2 COMPUTER SCIENCE, SOFTWARE ENGINEERING 53 / 106 = 0.5 2015 Q2 T2 COMPUTER SCIENCE, INFORMATION SYSTEMS 85 / 143 = 0.594 2015 Q3 T2 0.338 2015 Computer Science (miscellaneous) 2015 Q2 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion (orcid)0000-0002-8917-6584 Merseguer, José Universidad de Zaragoza (orcid)0000-0002-2605-6243 Bernardi, Simona 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 58, 10 (2015), 2313-2327 Comput. j. COMPUTER JOURNAL 0010-4620 816437 http://zaguan.unizar.es/record/48403/files/texto_completo.pdf Postprint 108192 http://zaguan.unizar.es/record/48403/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:48403 articulos driver 2021-01-21-11:00:38 ARTICLE