@inproceedings{3a0b49b7e3dc45e3b71814eb30b661ff,
title = "Verification of SGAC access control policies using alloy and ProB",
abstract = "This paper investigates the verification ofaccess control policies for SGAC, a new healthcare access-control model, using Alloy and ProB, two first orderlogic model checkers based on distinct technologies.SGAC supports permission and prohibition, ruleinheritance among subjects and resources and conflictsresolution. In order to protect patient privacy while ensuringeffective caregiving in safety-critical situations, we check different properties such as accessibility, ineffectiverule detection. Our performance results showthat ProB performs two orders of magnitude betterthan Alloy. Results are promising enough to considerProB for verifying patient policies in SGAC.",
keywords = "Access control, Alloy, Consent management, Formal model, Healthcare, ProB, Verification",
author = "Nghi Huynh and Marc Frappier and Amel Mammar and Regine Laleau",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 ; Conference date: 12-01-2017 Through 14-01-2017",
year = "2017",
month = apr,
day = "25",
doi = "10.1109/HASE.2017.24",
language = "English",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
publisher = "IEEE Computer Society",
pages = "120--123",
booktitle = "Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017",
}