 | Monter d'un niveau |
Boucheneb, H., & Rakkay, H. (2008). A more efficient time petri net state space abstraction useful to model checking timed linear properties. Fundamenta Informaticae, 88(4), 469-495. Lien externe
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
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, 149-176). Lien externe
Rakkay, H., & Boucheneb, H. (2006). Timed secure colored petri net based analysis of information flow. Annales des télécommunications, 61(11-12), 1314-1346. Lien externe
Rakkay, H. (2005). Modélisation et vérification du contrôle de flots d'information au moyen de réseaux de Pétri colorés temporisés [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible
