Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul. On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. In Rim Jallouli, Mohamed Anis Bach Tobji, Deny Bélisle, Sehl Mellouli, Farid Abdallah, Ibrahim Osman, editors, Digital Economy. Emerging Technologies and Business Innovation - 4th International Conference, ICDEc 2019, Beirut, Lebanon, April 15-18, 2019, Proceedings. Volume 358 of Lecture Notes in Business Information Processing, pages 147-156, Springer, 2019. [doi]
Abstract is missing.