{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T10:01:43Z","timestamp":1780999303476,"version":"3.54.1"},"publisher-location":"Singapore","reference-count":24,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819573936","type":"print"},{"value":"9789819573943","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-7394-3_13","type":"book-chapter","created":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:27:40Z","timestamp":1778459260000},"page":"187-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Security Requirements of\u00a0Fog Services Communication with\u00a0Event-B"],"prefix":"10.1007","author":[{"given":"Samia","family":"Ben Ismail","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Imed","family":"Abbassi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marwa","family":"Aloui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zied","family":"Jaoua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.: Modeling in Event-B: System and Software Engineering. Cambridge edn. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Abrial J.-R., Butler\u00a0M., H.S.: An open extensible tool environment for event-B. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 588\u2013605. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11901433_32","DOI":"10.1007\/11901433_32"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Ali, A., Ahmed, M., Imran, M., Khattak, H.A.: Security and privacy issues in fog computing. Fog Comput. Theory Pract. 105\u2013137 (2020)","DOI":"10.1002\/9781119551713.ch5"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Armando, A., et\u00a0al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/11513988_27","DOI":"10.1007\/11513988_27"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"1985","DOI":"10.1007\/s10586-017-1107-x","volume":"22","author":"WS Bae","year":"2019","unstructured":"Bae, W.S.: Verifying a secure authentication protocol for IoT medical devices. Clust. Comput. 22, 1985\u20131990 (2019)","journal-title":"Clust. Comput."},{"issue":"15","key":"13_CR6","doi-asserted-by":"publisher","first-page":"6933","DOI":"10.3390\/s23156933","volume":"23","author":"WR Bezerra","year":"2023","unstructured":"Bezerra, W.R., Martina, J.E., Westphall, C.B.: Formal verification of a reputation multi-factor authentication mechanism using temporal logic. Sensors 23(15), 6933 (2023). https:\/\/doi.org\/10.3390\/s23156933","journal-title":"Sensors"},{"key":"13_CR7","first-page":"79","volume":"141","author":"Z Boussada","year":"2019","unstructured":"Boussada, Z., Challal, Y., Bouabdallah, A.: Privacy preserving IoT electronic health records using identity-based encryption. J. Netw. Comput. Appl. 141, 79\u201388 (2019)","journal-title":"J. Netw. Comput. Appl."},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1989","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Trans. Comput. Syst. (TOCS) 8(1), 18\u201336 (1989)","journal-title":"ACM Trans. Comput. Syst. (TOCS)"},{"key":"13_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.hcc.2021.100004","volume":"1","author":"Z Fang","year":"2021","unstructured":"Fang, Z., et al.: A model checking-based security analysis framework for IoT systems. High-Confidence Comput. 1, 100004 (2021). https:\/\/doi.org\/10.1016\/j.hcc.2021.100004","journal-title":"High-Confidence Comput."},{"key":"13_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102859","volume":"222","author":"A Fortas","year":"2022","unstructured":"Fortas, A., Kerkouche, E., Chaoui, A.: Formal verification of IoT applications using rewriting logic. Sci. Comput. Program. 222, 102859 (2022). https:\/\/doi.org\/10.1016\/j.scico.2022.102859","journal-title":"Sci. Comput. Program."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"152351","DOI":"10.1109\/ACCESS.2020.3016937","volume":"8","author":"T Gebremichael","year":"2020","unstructured":"Gebremichael, T., et al.: Security and privacy in the industrial internet of things: current standards and future challenges. IEEE Access 8, 152351\u2013152366 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.3016937","journal-title":"IEEE Access"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Girault, C., Valk, R.: Petri nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-662-05324-9","DOI":"10.1007\/978-3-662-05324-9"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Haddou-Oumouloud, I., Kriouile, A., Hamida, S., Ettalbi, A.: Towards secure and reliable IoT systems: a comprehensive review of formal methods applications. IEEE Access (2024)","DOI":"10.1109\/ACCESS.2024.3501587"},{"issue":"3","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.3390\/s22031079","volume":"22","author":"AA Hamza","year":"2022","unstructured":"Hamza, A.A., Abdel Halim, I.T., Sobh, M.A., Bahaa-Eldin, A.M.: HSAS-MD analyzer: a hybrid security analysis system using model checking technique and deep learning for malware detection in IoT apps. Sensors 22(3), 1079 (2022). https:\/\/doi.org\/10.3390\/s22031079","journal-title":"Sensors"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/s10776-020-00491-7","volume":"27","author":"J Kaur","year":"2020","unstructured":"Kaur, J., Agrawal, A., Khan, R.A.: Security issues in fog environment: a systematic literature review. Int. J. Wireless Inf. Networks 27, 467\u2013483 (2020)","journal-title":"Int. J. Wireless Inf. Networks"},{"issue":"3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"1054","DOI":"10.1109\/TR.2020.2987423","volume":"69","author":"Y Liu","year":"2020","unstructured":"Liu, Y., Zhang, W., Wang, H.: Security verification of IoT device protocols using model checking. IEEE Trans. Reliab. 69(3), 1054\u20131070 (2020). https:\/\/doi.org\/10.1109\/TR.2020.2987423","journal-title":"IEEE Trans. Reliab."},{"key":"13_CR17","unstructured":"Marlinspike, M., Perrin, T.: The Signal Protocol: Advanced Encryption for Mobile Messaging. Technical report, Signal Foundation (2016). https:\/\/signal.org\/docs\/"},{"key":"13_CR18","unstructured":"Meta Platforms, Inc.: WhatsApp Security Whitepaper (2022). https:\/\/www.whatsapp.com\/security"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Omri, R., Toman, Z.H., Hamel, L.: A formal verification model for iot based applications using event-b. In: B\u0103dic\u0103, C., Treur, J., Benslimane, D., Hnatkowska, B., Kr\u00f3tkiewicz, M. (eds.) ICCCI 2022. CCIS, vol. 1653, pp. 528\u2013541. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-16210-7_43","DOI":"10.1007\/978-3-031-16210-7_43"},{"key":"13_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2021.100421","volume":"41","author":"R Rezapour","year":"2021","unstructured":"Rezapour, R., Asghari, P., Javadi, H.H.S., Ghanbari, S.: Security in fog computing: a systematic review on issues, challenges and solutions. Comput. Sci. Rev. 41, 100421 (2021)","journal-title":"Comput. Sci. Rev."},{"key":"13_CR21","unstructured":"Schneier, B.: Applied cryptography protocols. Algorithms and Source Code in C (1995)"},{"issue":"22","key":"13_CR22","doi-asserted-by":"publisher","first-page":"7449","DOI":"10.3390\/s21227449","volume":"21","author":"MZ Shieh","year":"2021","unstructured":"Shieh, M.Z., Lin, Y.B., Hsu, Y.J.: Verificationtalk: a verification and security mechanism for IoT applications. Sensors 21(22), 7449 (2021). https:\/\/doi.org\/10.3390\/s21227449","journal-title":"Sensors"},{"key":"13_CR23","doi-asserted-by":"publisher","unstructured":"Toman, Z.H., Hamel, L., Toman, S.H., Graiet, M.: Correct-by-construction approach for formal verification of IoT architecture. Procedia Comput. Sci. 207, 2598\u20132609 (2022). https:\/\/doi.org\/10.1016\/j.procs.2022.09.320","DOI":"10.1016\/j.procs.2022.09.320"},{"key":"13_CR24","unstructured":"Zoom Video Communications: Zoom Encryption Whitepaper (2023). https:\/\/zoom.com\/security"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering - WISE 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-7394-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T09:37:03Z","timestamp":1780997823000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-7394-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819573936","9789819573943"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-7394-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WISE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Web Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakech","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wise2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wise2025.ficloud.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}