Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure

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

Abstract is missing.