Formalization and co-simulation of attacks on cyber-physical systems-Reference-Cited by-同舟云学术

Formalization and co-simulation of attacks on cyber-physical systems

Published:2020-01-09 Issue:1 Volume:16 Page:63-77
ISSN:2263-8733
Container-title:Journal of Computer Virology and Hacking Techniques
language:en
Short-container-title:J Comput Virol Hack Tech

Author:

Bernardeschi Cinzia^ORCID,Domenici Andrea^ORCID,Palmieri Maurizio^ORCID

Funder

CrossLab project

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Hardware and Architecture,Software,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/s11416-019-00344-9.pdf

Reference36 articles.

1. Alguliyev, R., Imamverdiyev, Y., Sukhostat, L.: Cyber-physical systems and their security issues. Computers in Industry 100, 212–223 (2018). https://doi.org/10.1016/j.compind.2018.04.017

2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

3. Avvenuti, M., Bernardeschi, C., Francesco, N.D., Masci, P.: JCSI: A tool for checking secure information flow in java card applications. Journal of Systems and Software 85(11), 2479–2493 (2012). https://doi.org/10.1016/j.jss.2012.05.061

4. Bagnato, A., Brosse, E., Quadri, I., Sadovykh, A.: INTO-CPS: An integrated “tool chain” for comprehensive model-based design of cyber-physical systems (2015). This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047

5. Bernardeschi, C., Cassano, L., Domenici, A., Sterpone, L.: ASSESS: A simulator of soft errors in the configuration memory of SRAM-Based FPGAs. IEEE Trans. on CAD of Integrated Circuits and Systems 33(9), 1342–1355 (2014). https://doi.org/10.1109/TCAD.2014.2329419

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A new generation cyber-physical system: A comprehensive review from security perspective;Computers & Security;2025-01

2. Co-simulated digital twin on the network edge: A vehicle platoon;Computer Communications;2023-12

3. Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09

4. Co-simulated Digital Twin on the Network Edge: the case of platooning;2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM);2022-06

5. Formal Impact Metrics for Cyber-physical Attacks;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06