University of Limerick Institutional Repository

Feature-driven mediator synthesis: supporting collaborative security in the internet of things

DSpace Repository

Show simple item record

dc.contributor.author Bennaceur, Amel
dc.contributor.author Tun, Thein Than
dc.contributor.author Bandara, Arosha K.
dc.contributor.author Yu, Yijun
dc.contributor.author Nuseibeh, Bashar
dc.date.accessioned 2018-12-18T08:50:29Z
dc.date.available 2018-12-18T08:50:29Z
dc.date.issued 2018
dc.identifier.uri http://hdl.handle.net/10344/7421
dc.description peer-reviewed en_US
dc.description.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 that satisfy both security and non-security requirements. 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 opportunistic 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. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation 13RC2094 en_US
dc.relation.ispartofseries ACM Transactions on Cyber-Physical Systems;2 (3), article 21
dc.relation.uri http://dx.doi.org/10.1145/3134843
dc.rights © ACM, 2018. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Cyber-Physical Systems , 2 (3), article, 21 http://dx.doi.org/10.1145/3134843 en_US
dc.subject security and privacy en_US
dc.subject security requirements en_US
dc.subject human-centered computing en_US
dc.subject ubiquitous and mobile computing en_US
dc.title Feature-driven mediator synthesis: supporting collaborative security in the internet of things en_US
dc.type info:eu-repo/semantics/article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.identifier.doi 10.1145/3134843
dc.contributor.sponsor SFI en_US
dc.contributor.sponsor ERC en_US
dc.relation.projectid 13/RC/2094 en_US
dc.relation.projectid 291652 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics