On the verification of data encryption requirements in Internet of Things using Event-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

On the verification of data encryption requirements in Internet of Things using Event-B

Résumé

In this paper, an approach for verifying data exchange requirements in the context of IoT with regard to resource constraints is described. The verification is done using Event-B method. The security requirements are defined based on the correlation concept. The capacity requirements are defined as a set of constraints on the exchanged data. The proposed approach starts by formalizing the data exchange process. Second, it extends this formalization with the data exchange security and capacity requirements. The consistency of each model and the relationship between an abstract model and its refinements are obtained by formal proofs. Finally, we use ProB model-checker to trace possible design errors.

Domaines

Informatique
Fichier non déposé

Dates et versions

hal-03123346 , version 1 (27-01-2021)

Identifiants

Citer

Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul. On the verification of data encryption requirements in Internet of Things using Event-B. ICDEc 2019: 4th international conference on Digital Economy. Emerging Technologies and Business Innovation, Apr 2019, Beirut, Lebanon. pp.147-156, ⟨10.1007/978-3-030-30874-2_11⟩. ⟨hal-03123346⟩
70 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More