Nghi Huynh

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 4

Top Topics

Dc Dc Converter

Conflict Resolution

Top Venues

Sci. Comput. Program.

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. 62 (12) (2019)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau
Verification of SGAC Access Control Policies Using Alloy and ProB. HASE (2017)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau
SGAC: A patient-centered access control method. RCIS (2016)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. 131 (2016)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
Validating the RBAC ANSI 2012 Standard Using B. ABZ (2014)