Validating the RBAC ANSI 2012 Standard Using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (ABZ, 2014)

SGAC: A patient-centered access control method. - Nghi Huynh; Marc Frappier; Herman Pooda; Amel Mammar; Regine Laleau (RCIS, 2016)

A formal validation of the RBAC ANSI 2012 standard using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (Sci. Comput. Program., 2016)

Verification and validation of healthcare access control policies. (Vérification et validation de politiques de contrôle d'accès dans le domaine médical). - Nghi Huynh (2016)

Verification of SGAC Access Control Policies Using Alloy and ProB. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau (HASE, 2017)

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. - Nghi Huynh; Marc Frappier; Herman Pooda; Amel Mammar; Régine Laleau (Comput. J., 2019)