Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach

Résumé

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.
Fichier non déposé

Dates et versions

Identifiants

Citer

Samir Ouchani, Khaled Khebbeb, Meriem Hafsi. Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), Nov 2020, Antalya, Turkey. pp.1-6, ⟨10.1109/AICCSA50499.2020.9316535⟩. ⟨hal-04084239⟩
32 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More