Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. - Ayoub Bouheroum; Zakaria Benzadri; Faiza Belala (CAL, 2019)

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. - Ayoub Bouheroum; Zakaria Benzadri; Faiza Belala (FiCloud, 2019)

From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems. - Ayoub Bouheroum; Djamel Benmerzoug; Sofiane Mounine Hemam; Faiza Belala (TACC, 2021)

A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. - Zakaria Benzadri; Ayoub Bouheroum; Faiza Belala (Int. J. Organ. Collect. Intell., 2021)

A Formal Integrated Approach for Cyber Physical Systems. - Ayoub Bouheroum; Djamel Benmerzoug; Sofiane Mounine Hemam; Faiza Belala; Aya Lehamdi; Radhia Aouissate (PAIS, 2022)