A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A Formal Approach to Cyber-Physical Attacks
2017
2017 IEEE 30th Computer Security Foundations Symposium (CSF)
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks. Our contributions are threefold: (1) we define a hybrid process calculus to model both CPSs and cyber-physical attacks; (2) we define a threat model of cyber-physical attacks and provide the means to assess attack tolerance/vulnerability
doi:10.1109/csf.2017.12
dblp:conf/csfw/LanotteMMV17
fatcat:ae7tzr4zorfczmr57wnghpmnru