loading
Papers

Research.Publish.Connect.

Paper

Authors: Cinzia Bernardeschi 1 ; Andrea Domenici 1 and Maurizio Palmieri 2

Affiliations: 1 Department of Information Engineering, University of Pisa, Pisa, Italy ; 2 Department of Information Engineering, University of Florence, Florence, Italy

ISBN: 978-989-758-359-9

Keyword(s): Security, Cyber-physical attacks, Co-simulation.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.208.159.25

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.