Modelling and evaluation of the security of cyber-physical systems using stochastic Petri nets

Autor: Hamed Orojloo, Mohammad Abdollahi Azgomi

Publikováno v: IET Cyber-Physical Systems (2019)

This study proposes a stochastic Petri net model for evaluating the security and resilience of cyber-physical systems (CPSs) in the face of malicious attacks. The basic idea behind the proposed model is to evaluate the security of control loops equip

Externí odkaz: https://doaj.org/article/90e16a13b06245abb4620ceaa0510c4c

Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios

Autor: Beek, Maurice H. ter, Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea, VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems

Publikováno v: ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2020, Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios . in Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems ., 11, Association for Computing Machinery, ACM International Conference Proceeding Series, 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg, Saxony-Anhalt, Germany, 05/02/2020 . https://doi.org/10.1145/3377024.3377041
VaMoS'20-14th International Working Conference on Variability Modelling of Software-Intensive Systems, pp. 11:1–11:9, Magdeburg, Germany, 5-7 February 2020
info:cnr-pdr/source/autori:ter Beek M.H., Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:VaMoS'20-14th International Working Conference on Variability Modelling of Software-Intensive Systems/congresso_luogo:Magdeburg, Germany/congresso_data:5-7 February 2020/anno:2020/pagina_da:11:1/pagina_a:11:9/intervallo_pagine:11:1–11:9
VaMoS
Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems

We present a framework for quantitative security modeling and analysis of highly customizable attack scenarios, which resulted as a spin-off from our research in software product line engineering. The graphical security models are based on attributed

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b2f5010cbdf805b77420e3b3846755fd
https://orbit.dtu.dk/en/publications/e4a7ecff-45c8-4255-a6ca-ec96e22739a5

Quantitative Penetration Testing with Item Response Theory

Publikováno v: Journal of information assurance and security. 9(3):118-127

Existing penetration testing approaches assess the vulnerability of a system by determining whether certain attack paths are possible in practice. Thus, penetration testing has so far been used as a qualitative research method. To enable quantitative

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::470ef1e9a451f6754322233c14edbe96
http://www.mirlabs.net/jias/secured/Volume9-Issue3/vol9-issue3.html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Decomposing Global Quantitative Properties into Local Ones

Autor: Ilaria Matteucci, Francesco Santini

Publikováno v: Data Privacy Management and Security Assurance ISBN: 9783319470719
DPM/QASA@ESORICS
QASA: 5th International Workshop on Quantitative Aspects of Security Assurance, pp. 34–50, Heraklion, Crete, Greece, 26-27/09/2016
info:cnr-pdr/source/autori:Matteucci I., Santini F./congresso_nome:QASA: 5th International Workshop on Quantitative Aspects of Security Assurance/congresso_luogo:Heraklion, Crete, Greece/congresso_data:26-27%2F09%2F2016/anno:2016/pagina_da:34/pagina_a:50/intervallo_pagine:34–50

In this paper we address the problem of identifying what local properties the sub-components of a system have to satisfy in order to guarantee a (security) property on the behaviour of the whole system. We associate each action with a value. Hence, w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffb3406fb095fde15737e72ef649e910
https://doi.org/10.1007/978-3-319-47072-6_3