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

TitleA multi-modelling based approach to assessing the security of smart buildings
Publication TypeConference Paper
Year of Publication2018
AuthorsMace, J.C., Morisset, C., Pierce, K., Gamble, C., Maple, C., Fitzgerald, J.
Conference NameLiving in the Internet of Things: Cybersecurity of the IoT – 2018
Date PublishedMarch 2018
ISBN Number978-1-78561-843-7
KeywordsAccess Control, adversary model, building management systems, Co-Simulation, composability, CPS modeling, critical services, Cyber-physical systems, fan coil unit, Fans, home automation, INTO-CPS tool chain, man-in-the-middle attacks, methodology, Metrics, multimodel methodology, multimodelling based approach, physical attacks, pubcrawl, resilience, Resiliency, security of data, simulations, Smart buildings, system components, ubiquitous computing

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.

Citation Keymace_multi-modelling_2018