Formal Modelling and Security Analysis of Inter-Operable Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Formal Modelling and Security Analysis of Inter-Operable Systems

Résumé

Emerging technologies utilised in building modern systems make them inter-operable but potentially exposed to security threats. Thus, engineers need to consider the system structure and behaviour at the design level. This paper addresses the security risk assessment of inter-operable IoT systems designed in BIP (Behaviour-Interaction-Priority). For this purpose, we model different attacks scenarios from Microsoft STRIDE threats catalogue and identify the threats entry points in the component-port-connector architecture. Using standards communication styles such as message passing, we compose architectural components to model data flow between communication entities. We use BIP statistical model checking to assess the architecture conformance regarding security properties expressed in temporal logic.
Fichier non déposé

Dates et versions

hal-04086240 , version 1 (01-05-2023)

Identifiants

Citer

Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem. Formal Modelling and Security Analysis of Inter-Operable Systems. 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA AIE 2022), Jul 2022, Kitakyushu, Japan. pp.555-567, ⟨10.1007/978-3-031-08530-7_47⟩. ⟨hal-04086240⟩
73 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More