Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari. A Valid and Correct-by-Construction Formal Specification of RBAC. IJISP, 14(2):41-61, 2020. [doi]
@article{GadoucheZT20, title = {A Valid and Correct-by-Construction Formal Specification of RBAC}, author = {Hania Gadouche and Farah Zoubeyr and Abdelkamel Tari}, year = {2020}, doi = {10.4018/IJISP.2020040103}, url = {https://doi.org/10.4018/IJISP.2020040103}, researchr = {https://researchr.org/publication/GadoucheZT20}, cites = {0}, citedby = {0}, journal = {IJISP}, volume = {14}, number = {2}, pages = {41-61}, }