Assessing Cyber-Physical Security in Industrial Control Systems

Abstract

Over the last years, Industrial Control Systems (ICS) have become increasingly exposed to a wide range of cyber-physical threats. Efficient models and techniques able to capture their complex structure and identify critical cyber-physical components are therefore essential. AND/OR graphs have proven very useful in this context as they are able to semantically grasp intricate logical interdependencies among ICS components. However, identifying critical nodes in AND/OR graphs is an NP-complete problem. In addition, ICS settings normally involve various cyber and physical security measures that simultaneously protect multiple ICS components in overlapping manners, which makes this problem even harder. In this paper, we present an extended security metric based on AND/OR hypergraphs which efficiently identifies the set of critical ICS components and security measures that should be compromised, with minimum cost (effort) for an attacker, in order to disrupt the operation of vital ICS assets. Our approach relies on MAX-SAT techniques, which we have incorporated in META4ICS, a Java-based security metric analyser for ICS. We also provide a thorough performance evaluation that shows the feasibility of our method. Finally, we illustrate our methodology through a case study in which we analyse the security posture of a realistic Water Transport Network (WTN).

Esporte e ideologia no periódico on-line El País Brasil

“…Mais razões para contar a ajuda do VAR". (EL PAÍS BRASIL, Futebol feminino descobre o VAR 15 ) Já a segunda reportagem sobre o VAR, publicada em novembro de 2019, "O VAR veio para arruinar o esporte mais precioso de todos os tempos", como podemos identificar pelo seu título, tratase de uma entrevista do El País Brasil com o jornalista e 132 CSOnline -Revista Eletrônica de Ciências Sociais, Juiz de Fora, n. 31 (2020) comentarista esportivo Arnaldo Ribeiro, em que, em uma de suas respostas, sentencia:…”

“…Ou seja, por termos, no Brasil, uma indústria cultural tão forte e homogênea ideologicamente (FSP, Globo, Estadão etc. ), quando acessamos e 135 CSOnline -Revista Eletrônica de Ciências Sociais, Juiz de Fora, n. 31 (2020) nos informamos por um outro periódico de espectro de centro, como se considera o El País Brasil, a impressão que temos é que é algo muito progressista, como se houvesse uma "outra ideologia", confundindo-nos a ponto de pensarmos que a ideologia seja "neutra".…”

“…Taison, ao contrário da profecia de uma década atrás, não entrou para o panteão dos supercraques. Mas, pela demonstração de caráter ao denunciar os racistas, atingiu um estágio como cidadão que poucos deles 129 CSOnline -Revista Eletrônica de Ciências Sociais, Juiz de Fora, n. 31(2020) conseguem igualar. (EL PAÍS BRASIL, Taison se impõe contra o racismo e mostra que é maior que Messi 13 )…”

Security Metrics at Work on the Things in IoT Systems

“…We intend here to exploit the Security by Design development methodology, introduced in [4,3,9] by taking inspiration from the work by Barrère, Hankin, et al [1,20], where the authors propose some security metrics for identifying critical components in ICS (Industrial Control System) networks.…”

“…In [1], the security level of a system is obtained as the minimum set of CPS (Cyber-Physical System) components that an attacker must compromise in order to impair the functionalities of the system. Moreover, each component is associated to a score, i.e.…”