Akram Idani, Yves Ledru, Amira Radhouani. Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure. Ingénierie des Systèmes d Information, 19(6):33-61, 2014. [doi]
Abstract is missing.