{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T13:07:27Z","timestamp":1769605647245,"version":"3.49.0"},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T00:00:00Z","timestamp":1561593600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T00:00:00Z","timestamp":1561593600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s10207-019-00448-9","type":"journal-article","created":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T16:03:57Z","timestamp":1561651437000},"page":"163-187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies"],"prefix":"10.1007","volume":"19","author":[{"given":"Hasiba","family":"Ben Attia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9739-7715","authenticated-orcid":false,"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saber","family":"Benhazrallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Bourekkache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,27]]},"reference":[{"issue":"3","key":"448_CR1","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/501978.501979","volume":"4","author":"E Bertino","year":"2001","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: TRBAC: a temporal role-based access control model. ACM Trans. Inf. Syst. Secur. 4(3), 191\u2013233 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"448_CR2","volume-title":"Essential COM","author":"D Box","year":"1997","unstructured":"Box, D.: Essential COM, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1997)","edition":"1"},{"key":"448_CR3","unstructured":"Calvi, A., Ranise, S., Vigano, L.: Automated validation of security-sensitive web services specified in BPEL and RBAC. In: Proceedings of the 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC \u201910, Washington, DC, USA, 2010, pp. 456\u2013464. IEEE Computer Society"},{"issue":"8","key":"448_CR4","doi-asserted-by":"publisher","first-page":"215","DOI":"10.3390\/app6080215","volume":"6","author":"B-C Chen","year":"2016","unstructured":"Chen, B.-C., Yang, C.-T., Yeh, H.-T., Lin, C.-C.: Mutual authentication protocol for role-based access control using mobile RFID. Appl. Sci. 6(8), 215 (2016)","journal-title":"Appl. Sci."},{"issue":"2","key":"448_CR5","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1007\/s11227-013-1017-5","volume":"66","author":"H-CJ Chen","year":"2013","unstructured":"Chen, H.-C.J., Violetta, M.A., Yang, C.-Y.: Contract RBAC in cloud computing. J. Supercomput. 66(2), 1111\u20131131 (2013)","journal-title":"J. Supercomput."},{"key":"448_CR6","unstructured":"CPN-tool can be downloaded (free for academics) from: \nhttp:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wikim\n\n. Accessed 3 June 2017"},{"issue":"1","key":"448_CR7","first-page":"30","volume":"18","author":"F Cuppens","year":"2013","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Ghorbel-Talbi, M.B., Morucci, S., Essaouni, N.: Smatch: formal dynamic session management model for RBAC. J. Inf. Secur. Appl. 18(1), 30\u201344 (2013)","journal-title":"J. Inf. Secur. Appl."},{"issue":"4","key":"448_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.csi.2009.12.001","volume":"32","author":"W Darwish","year":"2010","unstructured":"Darwish, W., Beznosov, K.: Analysis of ANSI RBAC support in COM+. Comput. Stand. Interfaces 32(4), 197\u2013214 (2010)","journal-title":"Comput. Stand. Interfaces"},{"key":"448_CR9","unstructured":"Dong, X., Chen, G., Yin, J., Dong, J.: Petri-net-based context-related access control in workflow environment. In: The 7th International Conference on Computer Supported Cooperative Work in Design, pp. 381\u2013384 (2002)"},{"issue":"4","key":"448_CR10","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s10207-014-0254-9","volume":"14","author":"AA El Hassani","year":"2015","unstructured":"El Hassani, A.A., El Kalam, A.A., Bouhoula, A., Abassi, R., Ouahman, A.A.: Integrity-OrBAC: a new model to preserve critical infrastructures integrity. Int. J. Inf. Secur. 14(4), 367\u2013385 (2015)","journal-title":"Int. J. Inf. Secur."},{"key":"448_CR11","unstructured":"El Kalam, A.A., Deswarte, Y.: Multi-OrBAC: a new access control model for distributed, heterogeneous and collaborative systems. In: 8th IEEE International Symposium on Systems and Information Security (2006)"},{"key":"448_CR12","doi-asserted-by":"crossref","unstructured":"Feng, F., Li, J.: Verification and analysis of access control policy with Colored Petri Net. In: 2009 International Conference on Communication Software and Networks, pp. 610\u2013614 (2009)","DOI":"10.1109\/ICCSN.2009.58"},{"key":"448_CR13","doi-asserted-by":"crossref","unstructured":"Feng, F., Lin, C., Peng, D., Li, J.: A trust and context based access control model for distributed systems. In: 2008 10th IEEE International Conference on High Performance Computing and Communications, pp. 629\u2013634 (2008)","DOI":"10.1109\/HPCC.2008.37"},{"key":"448_CR14","unstructured":"Ferraiolo, D., Kuhn, R.: Role-based access control. In: 15th NIST-NCSC National Computer Security Conference, pp. 554\u2013563 (1992)"},{"key":"448_CR15","first-page":"46","volume-title":"RBAC-PAT: A Policy Analysis Tool for Role Based Access Control","author":"MI Gofman","year":"2009","unstructured":"Gofman, M.I., Luo, R., Solomon, A.C., Zhang, Y., Yang, P., Stoller, S.D.: RBAC-PAT: A Policy Analysis Tool for Role Based Access Control, pp. 46\u201349. Springer, Berlin (2009)"},{"issue":"2","key":"448_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10207-013-0205-x","volume":"13","author":"A Gouglidis","year":"2014","unstructured":"Gouglidis, A., Mavridis, I., Hu, V.C.: Security policy verification for multi-domains in cloud systems. Int. J. Inf. Secur. 13(2), 97\u2013111 (2014)","journal-title":"Int. J. Inf. Secur."},{"key":"448_CR17","unstructured":"Huang, H., Kirchner, H.: Secure Interoperation in Heterogeneous Systems Based on Colored Petri Nets. Working Paper or Preprint, June (2009)"},{"key":"448_CR18","first-page":"230","volume-title":"An Introduction to the Theoretical Aspects of Coloured Petri Nets","author":"K Jensen","year":"1994","unstructured":"Jensen, K.: An Introduction to the Theoretical Aspects of Coloured Petri Nets, pp. 230\u2013272. Springer, Berlin (1994)"},{"key":"448_CR19","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.cose.2014.08.001","volume":"46","author":"S Jha","year":"2014","unstructured":"Jha, S., Sural, S., Vaidya, J., Atluri, V.: Security analysis of temporal RBAC under an administrative model. Comput. Secur. 46, 154\u2013172 (2014)","journal-title":"Comput. Secur."},{"key":"448_CR20","unstructured":"Jiang, Y., Lin, C., Yin, H., Tan, Z.: Security analysis of mandatory access control model. In: 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No. 04CH37583), vol. 6, pp. 5013\u20135018 (2004)"},{"key":"448_CR21","doi-asserted-by":"crossref","unstructured":"Jie, A.: The realization of RBAC model in office automation system. In: 2008 International Seminar on Future Information Technology and Management Engineering, pp. 360\u2013363 (2008)","DOI":"10.1109\/FITME.2008.85"},{"issue":"1","key":"448_CR22","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TKDE.2005.1","volume":"17","author":"JBD Joshi","year":"2005","unstructured":"Joshi, J.B.D., Bertino, E., Latif, U., Ghafoor, A.: A generalized temporal role-based access control model. IEEE Trans. Knowl. Data Eng. 17(1), 4\u201323 (2005)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"448_CR23","unstructured":"Juszczyszyn, K.: Verifying enterprise\u2019s mandatory access control policies with Coloured Petri Nets. In: Proceedings of Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003, WET ICE 2003, pp. 184\u2013189 (2003)"},{"key":"448_CR24","first-page":"604","volume-title":"Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool","author":"L Kahloul","year":"2010","unstructured":"Kahloul, L., Djouani, K., Tfaili, W., Chaoui, A., Amirat, Y.: Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool, pp. 604\u2013618. Springer, Berlin (2010)"},{"key":"448_CR25","unstructured":"Kim, K., Fox, G.C.: XGSP-RBAC: access control mechanism based on RBAC model in ubiquitous collaboration system (2009)"},{"key":"448_CR26","unstructured":"Knorr, K.: Dynamic access control through Petri net workflows. In: 16th Annual Conference on Computer Security Applications, 2000. ACSAC \u201900, pp. 159\u2013167 (2000)"},{"key":"448_CR27","unstructured":"Knorr, K.: Multilevel security and information flow in Petri net workflows. Technical report. In: Proceedings of the 9th International Conference on Telecommunication Systems\u2014Modeling and Analysis, Special Session on Security Aspects of Telecommunication Systems, pp. 9\u201320. IEEE Computer Society Press, Dallas, Los Alamitos, USA (2001)"},{"key":"448_CR28","first-page":"179","volume-title":"A Modal Logic for Role-Based Access Control","author":"T Kosiyatrakul","year":"2005","unstructured":"Kosiyatrakul, T., Older, S., Chin, S.-K.: A Modal Logic for Role-Based Access Control, pp. 179\u2013193. Springer, Berlin (2005)"},{"key":"448_CR29","doi-asserted-by":"publisher","first-page":"47","DOI":"10.5815\/ijmecs.2011.05.07","volume":"5","author":"D Li","year":"2011","unstructured":"Li, D., Liu, C., Liu, B.: H-RBAC: a hierarchical access control model for SAAS systems. Int. J. Mod. Educ. Comput. Sci. 5, 47\u201353 (2011)","journal-title":"Int. J. Mod. Educ. Comput. Sci."},{"key":"448_CR30","doi-asserted-by":"crossref","unstructured":"Liang, Z., Bai, S.: Role based workflow modeling. In: 2006 IEEE International Conference on Systems, Man and Cybernetics, vol.\u00a06, pp. 4845\u20134849 (2006)","DOI":"10.1109\/ICSMC.2006.385072"},{"issue":"1","key":"448_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/18756891.2016.1144149","volume":"9","author":"J Luo","year":"2016","unstructured":"Luo, J., Wang, H., Gong, X., Li, T.: A novel role-based access control model in cloud environments. Int. J. Comput. Intell. Syst. 9(1), 1\u20139 (2016)","journal-title":"Int. J. Comput. Intell. Syst."},{"issue":"2","key":"448_CR32","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11704-014-3160-4","volume":"9","author":"R Masood","year":"2015","unstructured":"Masood, R., Shibli, M.A., Ghazi, Y., Kanwal, A., Ali, A.: Cloud authorization: exploring techniques and approach towards effective access control framework. Front. Comput. Sci. 9(2), 297\u2013321 (2015)","journal-title":"Front. Comput. Sci."},{"key":"448_CR33","unstructured":"Mondal, S., Sural, S.: Security analysis of temporal-RBAC using timed automata. In: Fourth International Conference on Information Assurance and Security, 2008. ISIAS\u201908, pp. 37\u201340. IEEE (2008)"},{"issue":"23","key":"448_CR34","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.cose.2010.09.002","volume":"30","author":"S Mondal","year":"2011","unstructured":"Mondal, S., Sural, S., Atluri, V.: Security analysis of GTRBAC and its variants using model checking. Comput. Secur. 30(23), 128\u2013147 (2011)","journal-title":"Comput. Secur."},{"key":"448_CR35","first-page":"351","volume-title":"Petri Nets and Their Application an Introduction","author":"T Murata","year":"1984","unstructured":"Murata, T.: Petri Nets and Their Application an Introduction, pp. 351\u2013368. Springer, Boston (1984)"},{"key":"448_CR36","unstructured":"Nezar, N., Eric, S.: Security service design for the RMI distributed system based on parameterized RBAC. In: The Proceeding of the International Multi-Conference of Engineers and Computer Scientists, vol. I, pp. 1\u20136 (2011)"},{"key":"448_CR37","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.cose.2015.04.013","volume":"54","author":"J Pang","year":"2015","unstructured":"Pang, J., Zhang, Y.: A new access control scheme for Facebook-style social networks. Comput. Secur. 54, 44\u201359 (2015)","journal-title":"Comput. Secur."},{"key":"448_CR38","doi-asserted-by":"crossref","unstructured":"Ranchal, R., Bhargava, B., Fernando, R., Lei, H., Jin, Z.: Privacy preserving access control in service-oriented architecture. In: 2016 IEEE International Conference on Web Services (ICWS), pp. 412\u2013419 (2016)","DOI":"10.1109\/ICWS.2016.60"},{"key":"448_CR39","doi-asserted-by":"crossref","unstructured":"Ranise, S., Truong, A., Armando, A.: Scalable and precise automated analysis of administrative temporal role-based access control. In: Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, pp. 103\u2013114. ACM (2014)","DOI":"10.1145\/2613087.2613102"},{"issue":"5","key":"448_CR40","first-page":"402","volume":"1","author":"K Venkateswar Rao","year":"2010","unstructured":"Venkateswar Rao, K., Srinivasa Rao, M., Mrunalini Devi, K., Sravan Kumar, D., Upendra Kumar, M.: Web services security architectures using role-based access control. Int. J. Comput. Sci. Inf. Technol. 1(5), 402\u2013407 (2010)","journal-title":"Int. J. Comput. Sci. Inf. Technol."},{"issue":"6","key":"448_CR41","first-page":"4141","volume":"11","author":"S Nagarajan","year":"2016","unstructured":"Nagarajan, S., Gopalan, N.P.: A dynamic context aware role based access control secure user authentication algorithm for wireless networks. Int. J. Appl. Eng. Res. 11(6), 4141\u20134143 (2016)","journal-title":"Int. J. Appl. Eng. Res."},{"key":"448_CR42","unstructured":"Sabri, K.E.: Automated verification of role-based access control policies constraints using Prover9 (2015). CoRR, \narxiv:1503.07645"},{"issue":"1","key":"448_CR43","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s10489-015-0692-8","volume":"44","author":"KE Sabri","year":"2016","unstructured":"Sabri, K.E., Obeid, N.: A temporal defeasible logic for handling access control policies. Appl. Intell. 44(1), 30\u201342 (2016)","journal-title":"Appl. Intell."},{"key":"448_CR44","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Ferraiolo, D.F., Kuhn, D.R.: The NIST model for role-based access control: towards a unified standard. In: The Fifth ACM Workshop on Role-Based Access Control (RBAC \u201900), pp. 47\u201363 (2000)","DOI":"10.1145\/344287.344301"},{"issue":"1","key":"448_CR45","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/300830.300839","volume":"2","author":"R Sandhu","year":"1999","unstructured":"Sandhu, R., Bhamidipati, V., Munawer, Q.: The ARBAC97 model for role-based administration of roles. ACM Trans. Inf. Syst. Secur. 2(1), 105\u2013135 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"448_CR46","unstructured":"Shafiq, B., Masood, A., Joshi, J., Ghafoor, A.: A role-based access control policy verification framework for real-time systems. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 13\u201320 (2005)"},{"key":"448_CR47","doi-asserted-by":"crossref","unstructured":"Sohr, K., Mustafa, T., Bao, X., Ahn, G.J.: Enforcing role-based access control policies in web services with UML and OCL. In: 2008 Annual Computer Security Applications Conference (ACSAC), pp. 257\u2013266 (2008)","DOI":"10.1109\/ACSAC.2008.35"},{"key":"448_CR48","doi-asserted-by":"crossref","unstructured":"Song, M., Pang, Z.: Specification of SA-RBAC policy based on Colored Petri Net. In: 2008 IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology, vol. 3, pp. 207\u2013210 (2008)","DOI":"10.1109\/WIIAT.2008.189"},{"key":"448_CR49","doi-asserted-by":"crossref","unstructured":"Steele, R., Min, K.: Role-based access to portable personal health records. In: 2009 International Conference on Management and Service Science, pp. 1\u20134 (2009)","DOI":"10.1109\/ICMSS.2009.5301451"},{"key":"448_CR50","unstructured":"Tapiador, A., Carrera, D., Salvach\u00faa, J.: Tie-RBAC: an application of RBAC to social networks (2012). CoRR, \narxiv:1205.5720"},{"key":"448_CR51","unstructured":"The site of standard ML (SML), adopted in CPN-tool, is: \nhttp:\/\/www.lfcs.inf.ed.ac.uk\/software\/ML\/\n\n. Accessed 3 June 2017"},{"issue":"3","key":"448_CR52","doi-asserted-by":"publisher","first-page":"399","DOI":"10.3233\/JCS-2010-0418","volume":"19","author":"M Toahchoodee","year":"2011","unstructured":"Toahchoodee, M., Ray, I.: On the formalization and analysis of a spatio-temporal role-based access control model. J. Comput. Secur. 19(3), 399\u2013452 (2011)","journal-title":"J. Comput. Secur."},{"issue":"6","key":"448_CR53","doi-asserted-by":"publisher","first-page":"961","DOI":"10.3233\/JCS-140510","volume":"22","author":"E Uzun","year":"2014","unstructured":"Uzun, E., Atluri, V., Vaidya, J., Sural, S., Ferrara, A.L., Parlato, G., Madhusudan, P.: Security analysis for temporal role based access control. J. Comput. Secur. 22(6), 961\u2013996 (2014)","journal-title":"J. Comput. Secur."},{"key":"448_CR54","unstructured":"Walvekar, A., Smith, M., Kelkar, M., Gamble, R.: Using Petri nets to detect access control violations in a system of systems. In: The Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (2006)"},{"key":"448_CR55","unstructured":"Wang, X., Bayrak, C.: Injecting a permission-based delegation model to secure web-based workflow systems. In: 2009 IEEE International Conference on Intelligence and Security Informatics, pp. 101\u2013106 (2009)"},{"issue":"4","key":"448_CR56","doi-asserted-by":"publisher","first-page":"870","DOI":"10.4304\/jsw.7.4.870-877","volume":"7","author":"S Yu","year":"2012","unstructured":"Yu, S., Brewster, J.J.: Formal specification and implementation of RBAC model with SOD. J. Softw. 7(4), 870\u2013877 (2012)","journal-title":"J. Softw."},{"key":"448_CR57","unstructured":"Zhang, Z., Hong, F., Xiao, H.: Verification of strict integrity policy via Petri nets. In: International Conference on Systems and Networks Communications, 2006. ICSNC \u201906, pp. 23\u201323 (2006)"},{"key":"448_CR58","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Ma, L., Wen, M.: A multi-level dynamic access control model and its formalization. In: 2015 2nd International Conference on Information Science and Control Engineering, pp. 23\u201327 (2015)","DOI":"10.1109\/ICISCE.2015.14"},{"issue":"4","key":"448_CR59","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1109\/TSC.2014.2363474","volume":"8","author":"Y Zhu","year":"2015","unstructured":"Zhu, Y., Huang, D., Hu, C.J., Wang, X.: From RBAC to ABAC: constructing flexible data access control for cloud storage services. IEEE Trans. Serv. Comput. 8(4), 601\u2013616 (2015)","journal-title":"IEEE Trans. Serv. Comput."}],"updated-by":[{"DOI":"10.1007\/s10207-019-00454-x","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T00:00:00Z","timestamp":1562284800000}}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-019-00448-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-019-00448-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-019-00448-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,16]],"date-time":"2020-09-16T14:50:40Z","timestamp":1600267840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-019-00448-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,27]]},"references-count":59,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["448"],"URL":"https:\/\/doi.org\/10.1007\/s10207-019-00448-9","relation":{"correction":[{"id-type":"doi","id":"10.1007\/s10207-019-00454-x","asserted-by":"object"}]},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,27]]},"assertion":[{"value":"27 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 July 2019","order":2,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"In the original publication of this article, the third author\u2019s name was incorrectly published.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}