<  Back to the Polytechnique Montréal portal

Items where Author is "Rakkay, Hind"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | R
Number of items: 5.

B

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. External link

R

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, 149-176). External link

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. External link

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 [Master's thesis, École Polytechnique de Montréal]. Unavailable

List generated on: Sun Mar 3 08:04:29 2024 EST