Documents publiés en "2009"

Communication écrite

Rakkay, H., Boucheneb, H., & Roux, O. H. (juillet 2009). Time arc Petri nets and their analysis [Communication écrite]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. Lien externe

Thèse de doctorat

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 [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Chapitre de livre

Rakkay, H., & Boucheneb, H. (2009). Security analysis of role based access control models using colored petri nets and CPNtools. Dans Transactions on Computational Science IV: Special Issue on Security in Computing (Vol. 5430, p. 149-176). Lien externe