Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things

Abstract : As the number, complexity, and heterogeneity of connected devices in the Internet of Things (IoT) increase, so does our need to secure these devices, the environment in which they operate, and the assets they manage or control. Collaborative security exploits the capabilities of these connected devices and opportunistically composes them in order to protect assets from potential harm. By dynamically composing these capabilities, collaborative security implements the security controls through which security (and other) requirements are satisfied. However, this dynamic composition is often hampered by the heterogeneity of the devices available in the environment and the diversity of their behaviours. In this paper we present a systematic, tool-supported approach for collaborative security where the analysis of requirements drives the opportunis-tic composition of capabilities in order to realise the appropriate security control in the operating environment. This opportunistic composition is supported through a combination of feature modelling and mediator synthesis. We use features and transition systems to represent and reason about capabilities and requirements. We formulate the selection of the optimal set of features to implement adequate security control as a multi-objective constrained optimisation problem and use constraint programming to solve it efficiently. The selected features are then used to scope the behaviours of the capabilities and thereby restrict the state space for synthesising the appropriate mediator. The synthesised mediator coordinates the behaviours of the capabilities to satisfy the behaviour specified by the security control. Our approach ensures that the implemented security controls are the optimal ones given the capabilities available in the operating environment. We demonstrate the validity of our approach by implementing a Feature-driven medIation for Collaborative Security (FICS) tool and applying it to a collaborative robots case study.
Type de document :
Rapport
[Research Report] The Open University. 2016
Liste complète des métadonnées

Littérature citée [50 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01366261
Contributeur : Amel Bennaceur <>
Soumis le : mercredi 14 septembre 2016 - 12:19:37
Dernière modification le : jeudi 22 décembre 2016 - 10:36:21

Fichiers

tcps16_submitted.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01366261, version 1

Collections

Citation

Amel Bennaceur, Thein Than Tun, Arosha K. Bandara, Yijun Yu, Bashar Nuseibeh. Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things. [Research Report] The Open University. 2016. 〈hal-01366261〉

Partager

Métriques

Consultations de la notice

104

Téléchargements de fichiers

80