Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks

Authors:

Fereidoun Moradi, Maryam Bagheri , Hanieh Rahmati , Hamed Yazdi , Sara Abbaspour, Marjan Sirjani

Publication Type:

Conference/Workshop Paper

Venue:

25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Publisher:

Springer, Cham


Bibtex

@inproceedings{Moradi6532,
author = {Fereidoun Moradi and Maryam Bagheri and Hanieh Rahmati and Hamed Yazdi and Sara Abbaspour and Marjan Sirjani},
title = {Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks},
pages = {22--43},
month = {August},
year = {2022},
booktitle = {25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS},
publisher = {Springer, Cham},
url = {http://www.es.mdu.se/publications/6532-}
}