On human-centred security: A new systems model based on modes and mode transitions

TL;DR

This paper introduces a novel systems model for human-centered security using modes and mode transitions, formalized mathematically with simplicial complexes to aid system design, analysis, and explanation.

Contribution

It presents a new conceptual framework for security systems based on modes, mode transitions, and beliefs, formalized mathematically with simplicial complexes.

Findings

Models can be visualized in higher-dimensional geometric spaces.

Framework helps in designing and analyzing security systems.

Mathematical formalization enhances understanding of system behaviors.

Abstract

We propose an abstract conceptual framework for analysing complex security systems using a new notion of modes and mode transitions. A mode is an independent component of a system with its own objectives, monitoring data, algorithms, and scope and limits. The behaviour of a mode, including its transitions to other modes, is determined by interpretations of the mode's monitoring data in the light of its objectives and capabilities -- these interpretations we call beliefs. We formalise the conceptual framework mathematically and, by quantifying and visualising beliefs in higher-dimensional geometric spaces, we argue our models may help both design, analyse and explain systems. The mathematical models are based on simplicial complexes.