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

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 paperpeer-review

Publication date10/04/2018
<mark>Original language</mark>English
EventWorkshop on Cyber-Physical Systems Security and Resilience - Porto, Portugal
Duration: 10/04/2018 → …
Conference number: 1


WorkshopWorkshop on Cyber-Physical Systems Security and Resilience
Abbreviated titleCPS-SR
Period10/04/18 → …
Internet address


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.