( en | de | ru )

 

Disambiguation of "Boucheneb, Hanifa"

Author of the publication

copydeleteadd this publication to your clipboard
ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS.

, , and . J. Inf. Secur. Appl., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hanifa Jusi

Hanifa Moursi Sayed Ali

 

Other publications of authors with the same name

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools., and . Trans. Comput. Sci., (2009)Time based deadlock prevention for Petri nets., , , , , and . Autom., (2022)On Multi-enabledness in Time Petri Nets., , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 130-149. Springer, (2013)Applying Formal Methods into Safety-Critical Health Applications., and . IMBSA, volume 8822 of Lecture Notes in Computer Science, page 195-208. Springer, (2014)Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis., , , and . Ingénierie des Systèmes d Inf., 19 (6): 9-32 (2014)Transactional Petri nets: a semantic framework for UML2 activities., , , and . Int. J. Crit. Comput. Based Syst., 5 (3/4): 241-267 (2014)TCTL Model Checking of Time Petri Nets., , and . J. Log. Comput., 19 (6): 1509-1540 (2009)Partial order reduction for checking soundness of time workflow nets., and . Inf. Sci., (2014)On-the-fly TCTL model checking for Time Petri Nets using state class graphs., and . ACSD, page 111-122. IEEE Computer Society, (2006)Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model.. Computación y Sistemas, (2006)