A top-down proof procedure for generalized data dependenciesCOULONDRE, Stéphane.Acta informatica. 2003, Vol 39, Num 1, pp 1-29, issn 0001-5903, 29 p.Article

Découverte automatisée de hiérarchies de rôles pour les politiques de contrôle d'accèsTHION, Romuald; COULONDRE, Stéphane.Ingénierie des systèmes d'information (2001). 2008, Vol 13, Num 4, pp 107-131, issn 1633-1311, 25 p.Article

Intégration du contexte spatio-temporel dans le contrôle d'accès basé sur les rôles = Integration of spatio temporal context in the role based access controlTHION, Romuald; COULONDRE, Stéphane.Ingénierie des systèmes d'information (2001). 2005, Vol 10, Num 4, pp 89-117, issn 1633-1311, 29 p.Article

Representation and reasoning on role-based access control policies with conceptual graphsTHION, Romuald; COULONDRE, Stéphane.Lecture notes in computer science. 2006, pp 427-440, issn 0302-9743, isbn 3-540-35893-5, 1Vol, 14 p.Conference Paper

Modeling and inferring on role-based access control policies using data dependenciesTHION, Romuald; COULONDRE, Stéphane.Lecture notes in computer science. 2006, pp 914-923, issn 0302-9743, isbn 3-540-37871-5, 1Vol, 10 p.Conference Paper