{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:09:38Z","timestamp":1740287378925,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T00:00:00Z","timestamp":1740182400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T00:00:00Z","timestamp":1740182400000},"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":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-025-03674-2","type":"journal-article","created":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T07:09:27Z","timestamp":1740208167000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Access Control Model for IoT Environments: Formalization and Verification Using Timed Automata"],"prefix":"10.1007","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-5232-7012","authenticated-orcid":false,"given":"Mohammed Walid","family":"Krakallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Safia","family":"Nait-Bahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,22]]},"reference":[{"issue":"2","key":"3674_CR1","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"RS Sandhu","year":"1996","unstructured":"Sandhu RS, Coyne EJ, Feinstein HL, Youman CE. Role-based access control models. Computer. 1996;29(2):38\u201347.","journal-title":"Computer"},{"issue":"11n12","key":"3674_CR2","doi-asserted-by":"publisher","first-page":"1619","DOI":"10.1142\/S021819401840020X","volume":"28","author":"Y Lu","year":"2018","unstructured":"Lu Y, Sun M. Modeling and verification of IEEE 802.11i security protocol in UPPAAL for Internet of Things. Int J Soft Eng Knowl Eng. 2018;28(11n12):1619\u201336. https:\/\/doi.org\/10.1142\/S021819401840020X.","journal-title":"Int J Soft Eng Knowl Eng"},{"issue":"3","key":"3674_CR3","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1109\/COMST.2015.2388550","volume":"17","author":"J Granjal","year":"2015","unstructured":"Granjal J, Monteiro E, S\u00e1 Silva J. Security for the Internet of Things: a survey of existing protocols and open research issues. IEEE Commun Surv Tutori. 2015;17(3):1294\u2013312. https:\/\/doi.org\/10.1109\/COMST.2015.2388550.","journal-title":"IEEE Commun Surv Tutori"},{"issue":"2","key":"3674_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TMSCS.2015.2498605","volume":"1","author":"O Arias","year":"2015","unstructured":"Arias O, Wurm J, Hoang K, Jin Y. Privacy and security in Internet of Things and wearable devices. IEEE Trans Multi-Scale Comput Syst. 2015;1(2):99\u2013109. https:\/\/doi.org\/10.1109\/TMSCS.2015.2498605.","journal-title":"IEEE Trans Multi-Scale Comput Syst"},{"key":"3674_CR5","doi-asserted-by":"publisher","unstructured":"Gupta M, Sandhu R. Authorization framework for secure cloud assisted connected cars and vehicular Internet of Things. In: Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, in SACMAT \u201918. New York, NY, USA: Association for Computing Machinery, juin 2018, p. 193\u2011204. https:\/\/doi.org\/10.1145\/3205977.3205994.","DOI":"10.1145\/3205977.3205994"},{"key":"3674_CR6","unstructured":"Fernandes E, Paupore J, Rahmati A, Simionato D, Conti M, Prakash A. {FlowFence}: Practical Data Protection for Emerging {IoT} Application Frameworks , pr\u00e9sent\u00e9 \u00e0 25th USENIX Security Symposium (USENIX Security 16), 2016, p. 531\u2011548. Consult\u00e9 le: 8 mai 2024. [En ligne]. Disponible sur: https:\/\/www.usenix.org\/conference\/usenixsecurity16\/technical-sessions\/presentation\/fernandes."},{"key":"3674_CR7","unstructured":"Maboudou B. Un environnement pour la mod\u00e9lisation des syst\u00e8mes de contr\u00f4le d\u2019acc\u00e8s , masters, Universit\u00e9 du Qu\u00e9bec en Outaouais, Gatineau, 2015. Consult\u00e9 le: 17 juillet 2018. [En ligne]. Disponible sur: http:\/\/di.uqo.ca\/724\/."},{"key":"3674_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-030-00410-1_5","volume-title":"IoT as a SERVICE","author":"H-C Chen","year":"2018","unstructured":"Chen H-C. A cooperative RBAC-based IoTs server with trust evaluation mechanism. In: Lin Y-B, Deng D-J, You I, Lin C-C, editors. IoT as a SERVICE. Cham: Springer International Publishing; 2018. p. 36\u201342. https:\/\/doi.org\/10.1007\/978-3-030-00410-1_5."},{"issue":"2","key":"3674_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MC.2015.33","volume":"48","author":"VC Hu","year":"2015","unstructured":"Hu VC, Kuhn DR, Ferraiolo DF, Voas J. Attribute-based access control. Computer. 2015;48(2):85\u20138. https:\/\/doi.org\/10.1109\/MC.2015.33.","journal-title":"Computer"},{"issue":"4","key":"3674_CR10","doi-asserted-by":"publisher","first-page":"2890","DOI":"10.1109\/JIOT.2019.2963794","volume":"7","author":"A Thakare","year":"2020","unstructured":"Thakare A, Lee E, Kumar A, Nikam VB, Kim Y-G. PARBAC: priority-attribute-based RBAC model for azure IoT cloud. IEEE Internet of Things J. 2020;7(4):2890\u2013900. https:\/\/doi.org\/10.1109\/JIOT.2019.2963794.","journal-title":"IEEE Internet of Things J"},{"issue":"5","key":"3674_CR11","doi-asserted-by":"publisher","first-page":"4032","DOI":"10.1109\/TDSC.2022.3216297","volume":"20","author":"S Ameer","year":"2023","unstructured":"Ameer S, Benson J, Sandhu R. Hybrid approaches (ABAC and RBAC) toward secure access control in smart home IoT. IEEE Trans Depend Secure Comput. 2023;20(5):4032\u201351. https:\/\/doi.org\/10.1109\/TDSC.2022.3216297.","journal-title":"IEEE Trans Depend Secure Comput"},{"issue":"C","key":"3674_CR12","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/j.cose.2019.06.010","volume":"86","author":"G Ali","year":"2019","unstructured":"Ali G, Ahmad N, Cao Y, Asif M, Cruickshank H, Ali QE. Blockchain based permission delegation and access control in Internet of Things (BACI). Comput Secur. 2019;86(C):318\u201334. https:\/\/doi.org\/10.1016\/j.cose.2019.06.010.","journal-title":"Comput Secur"},{"issue":"2","key":"3674_CR13","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson D. Alloy: a lightweight object modelling notation. ACM Trans Softw Eng Methodoly (TOSEM). 2002;11(2):256\u201390.","journal-title":"ACM Trans Softw Eng Methodoly (TOSEM)"},{"key":"3674_CR14","unstructured":"Shafiq B, Joshi JB, Ghafoor A. Petri-net based modeling for verification of RBAC policies. CERIAS, Purdue University, Tech. Rep, vol. 33, p. 2002, 2002."},{"key":"3674_CR15","unstructured":"Rakkay H. Approches formelles pour la mod\u00e9lisation et la v\u00e9rification du contr\u00f4le d\u2019acc\u00e8s et des contraintes temporelles dans les syst\u00e8mes d\u2019information , PhD Thesis, \u00c9cole Polytechnique de Montr\u00e9al, 2009."},{"issue":"5","key":"3674_CR16","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann GJ. The model checker SPIN. IEEE Trans Softw Eng. 1997;23(5):279\u201395. https:\/\/doi.org\/10.1109\/32.588521.","journal-title":"IEEE Trans Softw Eng"},{"key":"3674_CR17","doi-asserted-by":"crossref","unstructured":"Krakallah MW, Nait-Bahloul S. Methodological sketch of observer-based access control. In: Proceedings of the 2nd International Conference on big data, cloud and applications, ACM, 2017; p. 62.","DOI":"10.1145\/3090354.3090418"},{"issue":"2","key":"3674_CR18","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1504\/IJSSE.2021.116045","volume":"11","author":"MW Krakallah","year":"2021","unstructured":"Krakallah MW, Nait-Bahloul S. Formalisation of access control based on observers automata. Int J Syst Syst Eng. 2021;11(2):170\u201397. https:\/\/doi.org\/10.1504\/IJSSE.2021.116045.","journal-title":"Int J Syst Syst Eng"},{"key":"3674_CR19","unstructured":"Dhaussy P, Roger J-C. Cdl (context description language): syntax and semantics , Rapport technique, ENSTA-Bretagne, 2011; 37."},{"key":"3674_CR20","unstructured":"home | OBP2. Consult\u00e9 le: 5 avril 2020. [En ligne]. Disponible sur: http:\/\/www.obpcdl.org\/."},{"key":"3674_CR21","unstructured":"Home | UPPAAL. Consult\u00e9 le: 30 octobre 2024. [En ligne]. Disponible sur: https:\/\/uppaal.org\/."},{"key":"3674_CR22","unstructured":"Browne MC. An improved algorithm for the automatic verification of finite state systems using temporal logic , 1986, Consult\u00e9 le: 9 mai 2024. [En ligne]. Disponible sur: https:\/\/kilthub.cmu.edu\/articles\/journal_contribution\/An_improved_algorithm_for_the_automatic_verification_of_finite_state_systems_using_temporal_logic\/6603317\/files\/12093686.pdf."},{"key":"3674_CR23","doi-asserted-by":"publisher","unstructured":"Krakallah MW, Nait-Bahloul S, Bouzefrane S. Hybrid Access Control Model for an IoT Environment. In: 2024 11th International Conference on Future Internet of Things and Cloud (FiCloud), ao\u00fbt 2024; p. 268\u2013273. https:\/\/doi.org\/10.1109\/FiCloud62933.2024.00048.","DOI":"10.1109\/FiCloud62933.2024.00048"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03674-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-025-03674-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03674-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T07:09:31Z","timestamp":1740208171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-025-03674-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,22]]},"references-count":23,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2025,3]]}},"alternative-id":["3674"],"URL":"https:\/\/doi.org\/10.1007\/s42979-025-03674-2","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,22]]},"assertion":[{"value":"8 November 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 January 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"Human.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Research Involving Human and\/or Animals"}},{"value":"Not Applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed Consent"}}],"article-number":"214"}}