| Title | Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Ouchani, Samir, Khebbeb, Khaled, Hafsi, Meriem |
| Conference Name | 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA) |
| Date Published | Nov. 2020 |
| Publisher | IEEE |
| ISBN Number | 978-1-7281-8577-4 |
| Keywords | Analytical models, Coq, CPS Resilience, cyber physical systems, Cyber-physical systems, Fault tolerance, Maude, Protocols, pubcrawl, resilience, Resiliency, Rewriting Logic, security, Task Analysis, Tools |
| Abstract | Cyber-Physical Systems (CPS) have gained considerable interest in the last decade from both industry and academia. Such systems have proven particularly complex and provide considerable challenges to master their design and ensure their functionalities. In this paper, we intend to tackle some of these challenges related to the security and the resilience of CPS at the design level. We initiate a CPS modeling approach to specify such systems structure and behaviors, analyze their inherent properties and to overcome threats in terms of security and correctness. In this initiative, we consider a CPS as a network of entities that communicate through physical and logical channels, and which purpose is to achieve a set of tasks expressed as an ordered tree. Our modeling approach proposes a combination of the Coq theorem prover and the Maude rewriting system to ensure the soundness and correctness of CPS design. The introduced solution is illustrated through an automobile manufacturing case study. |
| URL | https://ieeexplore.ieee.org/document/9316535 |
| DOI | 10.1109/AICCSA50499.2020.9316535 |
| Citation Key | ouchani_towards_2020 |
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach