Validation of IS Security Policies Featuring Authorisation Constraints (pages 24-46)
Yves Ledru (University Grenoble Alpes, LIG, Grenoble, France), Akram Idani (University Grenoble Alpes, LIG, Grenoble, France), Jérémy Milhau (Université Paris-Est, LACL, UPEC, IUT Sénart-Fontainebleau, France), Nafees Qamar (University Grenoble Alpes, LIG, Grenoble, France), Régine Laleau (Université Paris-Est, LACL, UPEC, IUT Sénart-Fontainebleau, France), Jean-Luc Richier (CNRS, LIG, Grenoble, France), Mohamed Amine Labiadh (University Grenoble Alpes, LIG, Grenoble, France)