Samia Ben Ismail, Imed Abbassi, Marwa Aloui, Zied Jaoua, Mohamed Graiet, Walid Gaaloul. Verifying Security Requirements of Fog Services Communication with Event-B. In Irfan Awan, Muhammad Younas, Yanchun Zhang, Mahmoud Barhamgi, Hua Wang, editors, Web Information Systems Engineering - WISE 2025 PhD Symposium, Demos and Workshops - 26th International Conference, Marrakech, Morocco, December 15-17, 2025, Proceedings, Part I. Volume 16367 of Lecture Notes in Computer Science, pages 187-202, Springer, 2025. [doi]
Abstract is missing.