Verification of SGAC Access Control Policies Using Alloy and ProB - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Verification of SGAC Access Control Policies Using Alloy and ProB

Résumé

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.
Fichier non déposé

Dates et versions

hal-01574899 , version 1 (16-08-2017)

Identifiants

Citer

Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau. Verification of SGAC Access Control Policies Using Alloy and ProB. 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. pp.120 - 123, ⟨10.1109/HASE.2017.24⟩. ⟨hal-01574899⟩
479 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More