Verifying Security Requirements of Fog Services Communication with Event-B.

Samia Ben Ismail, Imed Abbassi, Marwa Aloui, Zied Jaoua, Mohamed Graiet, Walid Gaaloul

Browse the full WISE paper archive.