 | Up a level |
Rakkay, H. (2009). Approches formelles pour la modélisation et la vérification du contrôle d'accès et des contraintes temporelles dans les systèmes d'information [Ph.D. thesis, École Polytechnique de Montréal]. Available
Rakkay, H., & Boucheneb, H. (2009). Security analysis of role based access control models using colored petri nets and CPNtools. In Transactions on Computational Science IV: Special Issue on Security in Computing (Vol. 5430, pp. 149-176). External link
Rakkay, H., Boucheneb, H., & Roux, O. H. (2009, July). Time arc Petri nets and their analysis [Paper]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. External link
