Verification of Policies in Human Cyber-Physical Systems:the Role and Importance of Resilience

Gouglidis, Antonios and Hutchison, David (2018) Verification of Policies in Human Cyber-Physical Systems:the Role and Importance of Resilience. In: Workshop on Cyber-Physical Systems Security and Resilience, 2018-04-10.

[img]
Preview
PDF (resilience-access-control)
resilience_access_control_1_.pdf

Download (346kB)
[img]
Preview
PDF (resilience-access-control (3))
resilience_access_control_3_.pdf - Accepted Version

Download (347kB)

Abstract

Cyber-physical systems (CPS) are characterised by interactions of physical and computational components. A CPS also interacts with its operational environment, and thus with other entities including humans. Humans are an important aspect of human CPS (HCPS) since they are responsible for using (e.g., administering) these types of system. Such interactions are usually expressed though access control policies, which in many cases (e.g., when performing critical operations) are required to support the property of resilience to cope with challenges to the normal operation of the HCPS. In this paper, we pinpoint the importance of resilience as a property in access control policies and we describe a mechanism to conduct its formal verification. Finally, we identify potential future directions in the verification of access control properties, complementary to resilience.

Item Type:
Contribution to Conference (Paper)
Journal or Publication Title:
Workshop on Cyber-Physical Systems Security and Resilience
ID Code:
124049
Deposited By:
Deposited On:
15 Mar 2018 10:22
Refereed?:
Yes
Published?:
Published
Last Modified:
18 Sep 2020 00:09