Skip to Main content Skip to Navigation
Conference papers

A Modest Security Analysis of Cyber-Physical Systems: A Case Study

Abstract : Cyber-Physical Systems (CPSs) are integrations of networking and distributed computing systems with physical processes. Although the range of applications of CPSs include several critical domains, their verification and validation often relies on simulation-test systems rather then formal methodologies. In this paper, we use a recent version of the expressive Modest Toolset to implement a non-trivial engineering application, and test its safety model checker prohver as a formal instrument to statically detect a variety of cyber-physical attacks, i.e., attacks targeting sensors and/or actuators, with potential physical consequences. We then compare the effectiveness of the Modest Toolset and its safety model checker in verifying CPS security properties when compared to other state-of-the-art model checkers.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/hal-01824813
Contributor : Hal Ifip <>
Submitted on : Wednesday, June 27, 2018 - 3:55:21 PM
Last modification on : Tuesday, May 25, 2021 - 11:36:38 AM
Long-term archiving on: : Thursday, September 27, 2018 - 6:25:45 AM

File

469043_1_En_4_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Ruggero Lanotte, Massimo Merro, Andrei Munteanu. A Modest Security Analysis of Cyber-Physical Systems: A Case Study. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩. ⟨hal-01824813⟩

Share

Metrics

Record views

547

Files downloads

44