Visible to the public Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach

TitleTowards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach
Publication TypeConference Paper
Year of Publication2020
AuthorsOuchani, Samir, Khebbeb, Khaled, Hafsi, Meriem
Conference Name2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA)
Date PublishedNov. 2020
ISBN Number978-1-7281-8577-4
KeywordsAnalytical models, Coq, CPS Resilience, cyber physical systems, Cyber-physical systems, Fault tolerance, Maude, Protocols, pubcrawl, resilience, Resiliency, Rewriting Logic, security, Task Analysis, Tools
AbstractCyber-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.
Citation Keyouchani_towards_2020