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]
@article{IdaniLR14,
title = {Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure},
author = {Akram Idani and Yves Ledru and Amira Radhouani},
year = {2014},
doi = {10.3166/isi.19.6.33-61},
url = {http://dx.doi.org/10.3166/isi.19.6.33-61},
researchr = {https://researchr.org/publication/IdaniLR14},
cites = {0},
citedby = {0},
journal = {Ingénierie des Systèmes d Information},
volume = {19},
number = {6},
pages = {33-61},
}