Modeling and Simulation of Attacks on Cyber-physical Systems

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri

2019

Abstract

This paper presents a methodology for the formal modeling of security attacks on cyber-physical systems, and the analysis of their effects on the system using logic theories. We consider attacks only on sensors and actuators. A simulated attack can be triggered internally by the simulation algorithm or interactively by the user, and the effect of the attack is a set of assignments to the variables. The effects of the attacks are studied by injecting attacks in the system model and simulating them. The overall system, including the attacks, the system dynamics and the control part, is co-simulated. The INTO-CPS framework has been used for co-simulation, and the methodology is applied to the Line follower robot case study of the INTO-CPS project.

Paper Citation

in Harvard Style

Bernardeschi C., Domenici A. and Palmieri M. (2019). Modeling and Simulation of Attacks on Cyber-physical Systems.In Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, ISBN 978-989-758-359-9, pages 700-708. DOI: 10.5220/0007705307000708

in Bibtex Style

@conference{forse19,
author={Cinzia Bernardeschi and Andrea Domenici and Maurizio Palmieri},
title={Modeling and Simulation of Attacks on Cyber-physical Systems},
booktitle={Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ForSE,},
year={2019},
pages={700-708},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007705307000708},
isbn={978-989-758-359-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ForSE,
TI - Modeling and Simulation of Attacks on Cyber-physical Systems
SN - 978-989-758-359-9
AU - Bernardeschi C.
AU - Domenici A.
AU - Palmieri M.
PY - 2019
SP - 700
EP - 708
DO - 10.5220/0007705307000708