loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

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

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.

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 3.14.246.254

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 - ForSE; ISBN 978-989-758-359-9; ISSN 2184-4356, SciTePress, 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 - ForSE},
year={2019},
pages={700-708},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007705307000708},
isbn={978-989-758-359-9},
issn={2184-4356},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic