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]

Authors

Akram Idani

This author has not been identified. Look up 'Akram Idani' in Google

Yves Ledru

This author has not been identified. Look up 'Yves Ledru' in Google

Amira Radhouani

This author has not been identified. Look up 'Amira Radhouani' in Google