{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T03:08:37Z","timestamp":1780369717282,"version":"3.54.1"},"reference-count":45,"publisher":"Informa UK Limited","issue":"6","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61903274"],"award-info":[{"award-number":["61903274"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Control"],"published-print":{"date-parts":[[2026,6,3]]},"DOI":"10.1080\/00207179.2025.2608824","type":"journal-article","created":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T17:18:19Z","timestamp":1767028699000},"page":"1738-1749","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Strong state-based opacity verification using HyperLTL model checking technique"],"prefix":"10.1080","volume":"99","author":[{"given":"Zipei","family":"Wang","sequence":"first","affiliation":[{"name":"Tianjin University of Science and Technology","place":["Tianjin, People's Republic of China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiahui","family":"Zhang","sequence":"additional","affiliation":[{"name":"Macau University of Science and Technology","place":["Taipa, People's Republic of China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0810-259X","authenticated-orcid":false,"given":"Xiaoguang","family":"Han","sequence":"additional","affiliation":[{"name":"Tianjin University of Science and Technology","place":["Tianjin, People's Republic of China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tianjin University of Science and Technology","place":["Tianjin, People's Republic of China"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2025,12,29]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.9"},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"e_1_3_2_4_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"Baier, C., & Katoen, J. P. (2008). Principles of model checking. MIT Press."},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-021-00344-2"},{"key":"e_1_3_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111153"},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30823-9_8"},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2605090"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0141-9"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_15"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"e_1_3_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0196-4"},{"key":"e_1_3_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30821-6"},{"key":"e_1_3_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993023"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110756"},{"key":"e_1_3_2_19_1","volume-title":"Introduction to automata theory, languages, and computation","author":"Hopcroft J. E.","year":"2001","unstructured":"Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2001). Introduction to automata theory, languages, and computation (3rd ed.). Addison-Wesley.","edition":"3"},{"key":"e_1_3_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.015"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.9"},{"key":"e_1_3_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.002"},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2022.06.034"},{"key":"e_1_3_2_24_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2022.2121764"},{"key":"e_1_3_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.002"},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-019-00303-y"},{"key":"e_1_3_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2020.104785"},{"key":"e_1_3_2_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109838"},{"key":"e_1_3_2_29_1","unstructured":"Mazar\u00e9 L. (2004). Using unification for opacity properties. In Proceeding of the Workshop on Issues in the Theory of Security (pp. 165\u2013176)."},{"key":"e_1_3_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3155323"},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.9"},{"key":"e_1_3_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"e_1_3_2_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.003"},{"key":"e_1_3_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2106775"},{"key":"e_1_3_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173774"},{"key":"e_1_3_2_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"e_1_3_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.3182\/20140514-3-FR-4046.00008"},{"key":"e_1_3_2_40_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2021.1951357"},{"key":"e_1_3_2_41_1","doi-asserted-by":"publisher","DOI":"10.1002\/047134608X.W8400"},{"key":"e_1_3_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"e_1_3_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2998733"},{"key":"e_1_3_2_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2023.100902"},{"key":"e_1_3_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.9"},{"key":"e_1_3_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3355378"}],"container-title":["International Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207179.2025.2608824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T02:59:08Z","timestamp":1780369148000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207179.2025.2608824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,29]]},"references-count":45,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2026,6,3]]}},"alternative-id":["10.1080\/00207179.2025.2608824"],"URL":"https:\/\/doi.org\/10.1080\/00207179.2025.2608824","relation":{},"ISSN":["0020-7179","1366-5820"],"issn-type":[{"value":"0020-7179","type":"print"},{"value":"1366-5820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,29]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcon20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcon20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2025-05-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-12-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-12-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}