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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.