Verifying Security Requirements of Fog Services Communication with Event-B. - Samia Ben Ismail; Imed Abbassi; Marwa Aloui; Zied Jaoua; Mohamed Graiet; Walid Gaaloul (WISE (Workshops, 1), 2025)