Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel (IBERAMIA, 2004)

A Formal Approach to prevent Attacks on Mobile Agent Systems. - Monia Loulou; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Jmaiel (SECURWARE, 2007)

A formal security framework for mobile agent systems: Specification and verification. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Mohamed Mosbah 001 (CRiSIS, 2008)

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. - Houssem Aloulou; Monia Loulou; Slim Kallel; Ahmed Hadj Kacem (DPM/SETOP, 2009)

Dynamic security framework for mobile agent systems: specification, verification and enforcement. - Monia Loulou; Mohamed Jmaiel; Mohamed Mosbah 001 (Int. J. Inf. Comput. Secur., 2009)

MDA-Based Approach for Implementing Secure Mobile Agent Systems. - Slim Kallel; Monia Loulou; Molka Rekik; Ahmed Hadj Kacem (AOSE, 2012)

Modeling Secure Mobile Agent Systems. - Molka Rekik; Slim Kallel; Monia Loulou; Ahmed Hadj Kacem (KES-AMSTA, 2012)

Multi-tenant Services Monitoring for Accountability in Cloud Computing. - Fatma Masmoudi; Monia Loulou; Ahmed Hadj Kacem (CloudCom, 2014)

Analyzing Multi-tenant Cloud Services' Accountability. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (ICEBE, 2015)

From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (AINA, 2017)

Optimal Evidence Collection for Accountability in the Cloud. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (ICEBE, 2018)

Accountability management for multi-tenant cloud services. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (Int. J. Grid Util. Comput., 2019)