Home > Research > Publications & Outputs > Verification of Policies in Human Cyber-Physica...

Research

Associated organisational units

Electronic data

View graph of relations

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

Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

Published

Standard

Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience. / Gouglidis, Antonios; Hutchison, David.
2018. Paper presented at Workshop on Cyber-Physical Systems Security and Resilience, Porto, Portugal.

Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

Harvard

Gouglidis, A & Hutchison, D 2018, 'Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience', Paper presented at Workshop on Cyber-Physical Systems Security and Resilience, Porto, Portugal, 10/04/18.

APA

Gouglidis, A., & Hutchison, D. (2018). Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience. Paper presented at Workshop on Cyber-Physical Systems Security and Resilience, Porto, Portugal.

Vancouver

Gouglidis A, Hutchison D. Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience. 2018. Paper presented at Workshop on Cyber-Physical Systems Security and Resilience, Porto, Portugal.

Author

Gouglidis, Antonios ; Hutchison, David. / Verification of Policies in Human Cyber-Physical Systems : the Role and Importance of Resilience. Paper presented at Workshop on Cyber-Physical Systems Security and Resilience, Porto, Portugal.

Bibtex

@conference{ba38c342cc95483fb1f471d5d43bf0af,
title = "Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience",
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.",
author = "Antonios Gouglidis and David Hutchison",
year = "2018",
month = apr,
day = "10",
language = "English",
note = "Workshop on Cyber-Physical Systems Security and Resilience, CPS-SR ; Conference date: 10-04-2018",
url = "https://sites.google.com/view/cps-sr/home?authuser=0",

}

RIS

TY - CONF

T1 - Verification of Policies in Human Cyber-Physical Systems

T2 - Workshop on Cyber-Physical Systems Security and Resilience

AU - Gouglidis, Antonios

AU - Hutchison, David

N1 - Conference code: 1

PY - 2018/4/10

Y1 - 2018/4/10

N2 - 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.

AB - 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.

M3 - Conference paper

Y2 - 10 April 2018

ER -