@inproceedings{51d27a9663a542f2adf3f4b54092e3c2,
title = "Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems",
abstract = "A crucial question for an ICT organization wishing to improve its security is whether a security policy together with physical access controls protects from socio-technical threats. We study this question formally. We model the information flow defined by what the organization{\textquoteright}s employees do (copy, move, and destroy information) and propose an algorithm that enforces a policy on the model, before checking against an adversary if a security requirement holds.",
keywords = "EC Grant Agreement nr.: FP7/318003, EC Grant Agreement nr.: FP7/2007-2013, IR-101603, Socio-Technical-Physical Systems · Modelling security and policies, METIS-318546, EWI-27280",
author = "Gabriele Lenzini and Sjouke Mauw and Samir Ouchani",
note = "eemcs-eprint-27280 ; 12th International Workshop on Security and Trust Management, STM 2016 ; Conference date: 17-09-2016",
year = "2016",
month = sep,
day = "17",
doi = "10.1007/978-3-319-46598-2_12",
language = "English",
isbn = "9783319465975",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "170--178",
editor = "Gilles Barthe and Evangelos Markatos and Pierangela Samarati",
booktitle = "12th International Workshop on Security and Trust Management, STM 2016",
address = "Germany",
}