Lookup NU author(s): Martin Mansfield,
Dr Charles Morisset,
Dr Carl Gamble,
Dr John Mace,
Dr Ken Pierce,
Professor John Fitzgerald
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
By automation of their critical systems, modern buildings are becoming increasingly intelligent, but also increasingly vulnerable to both cyber and physical attacks. We propose that multi-models can be used not only to assess the security weaknesses of smart buildings, but also to optimise their control to be resilient to malicious use. The proposed approach makes use of the INTO-CPS toolchain to model both building systems and the behaviour of adversaries, and utilises design space exploration to analyse the impact of security on usability. By separation of standard control and security monitoring, the approach is suitable for both the design of new controllers and the improvement of legacy systems. A case study of a fan coil unit demonstrates how a controller can be augmented to be more secure, and how the trade-off between security and usability can be explored to find an optimal design. We propose that the suggested use of multi-models can aid building managers and security engineers to build systems which are both secure and user friendly.
Author(s): Mansfield M, Morisset C, Gamble C, Mace JC, Pierce K, Fitzgerald J
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 16th Overture Workshop
Year of Conference: 2018
Online publication date: 14/07/2018
Acceptance date: 13/05/2018
Notes: Workshop held in association with the Federated Logic Conference (FLoC) 2018 and the 22nd International Symposium on Formal Methods (FM 2018).