Nghi Huynh

According to our database, Nghi Huynh authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2017

Verification of SGAC Access Control Policies Using Alloy and ProB.

Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

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

PhD thesis, 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

SGAC: A patient-centered access control method.

Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

2014

Validating the RBAC ANSI 2012 Standard Using B.

Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014