A Logical Approach to Dynamic Role-Based Access Control. - Philippe Balbiani; Yannick Chevalier; Marwa El Houri (AIMSA, 2008)

A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. - Philippe Balbiani; Yannick Chevalier; Marwa El Houri (CRiSIS, 2009)

An intruder model for trust negotiation. - Philippe Balbiani; Yannick Chevalier; Marwa El Houri (CRiSIS, 2010)

A formal model to express dynamic policies for access control and negotiation in a distributed environment. (Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué). - Marwa El Houri (2010)