A multi-modelling based approach to assessing the security of smart buildings

Mace, JC; Morisset, C; Pierce, K; Gamble, C; Maple, C; Fitzgerald, J

doi:10.1049/cp.2018.0031

A multi-modelling based approach to assessing the security of smart buildings

Lookup NU author(s): Dr John Mace, Dr Charles Morisset, Dr Ken Pierce, Dr Carl Gamble, Professor John Fitzgerald

Downloads

Accepted version [.pdf]

Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Institution of Engineering and Technology, 2018.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

Smart buildings are controlled by multiple cyber-physical systems that provide critical services such as heating, ventilation, lighting and access control. These building systems are becoming increasingly vulnerable to both cyber and physical attacks. We introduce a multi-model methodology for assessing the security of these systems, which utilises INTO-CPS, a suite of modelling, simulation, and analysis tools for designing cyber-physical systems. Using a fan coil unit case study we show how its security can be systematically assessed when subjected to Man-in-the-Middle attacks on the data connections between system components. We suggest our methodology would enable building managers and security engineers to design attack countermeasures and refine their effectiveness.