{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T10:45:44Z","timestamp":1769078744427,"version":"3.49.0"},"reference-count":22,"publisher":"EDP Sciences","license":[{"start":{"date-parts":[[2024,4,30]],"date-time":"2024-04-30T00:00:00Z","timestamp":1714435200000},"content-version":"vor","delay-in-days":120,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62232002"],"award-info":[{"award-number":["62232002"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202051"],"award-info":[{"award-number":["62202051"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2021YFB2700500"],"award-info":[{"award-number":["2021YFB2700500"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2021YFB2700503"],"award-info":[{"award-number":["2021YFB2700503"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2021M700435"],"award-info":[{"award-number":["2021M700435"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2021TQ0042"],"award-info":[{"award-number":["2021TQ0042"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Provincial Key Laboratory of Novel Security Intelligence Technologies","award":["2022B1212010005"],"award-info":[{"award-number":["2022B1212010005"]}]},{"name":"Key-Area Research and Development Program of Guangdong Province","award":["2021B0101400003"],"award-info":[{"award-number":["2021B0101400003"]}]},{"name":"Open Project Funding of Key Laboratory of Mobile Application Innovation and Governance Technology","award":["2023IFS080601-K"],"award-info":[{"award-number":["2023IFS080601-K"]}]},{"name":"Yunnan Provincial Major Science and Technology Special Plan Projects","award":["202302AD080003"],"award-info":[{"award-number":["202302AD080003"]}]},{"name":"Beijing Institute of Technology Research Fund Program for Young Scholars, and the Young Elite Scientists Sponsorship Program by CAST","award":["2023QNRC001"],"award-info":[{"award-number":["2023QNRC001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Security and Safety"],"accepted":{"date-parts":[[2024,4,29]]},"published-print":{"date-parts":[[2024]]},"abstract":"<jats:p>The space-air-ground integrated networks (SAGINs) are pivotal for modern communication and surveillance, with a growing number of connected devices. The proliferation of IoT devices within these networks introduces new risks due to potential erroneous synergistic interactions that could compromise system integrity and security. This paper addresses the challenges in coordination, synchronization, and security within SAGINs by introducing a novel static program analysis (SPA) technique using zero-knowledge (ZK) proofs. This approach ensures the detection of risky interactions without compromising sensitive source code, thus safeguarding intellectual property and privacy. The proposed method overcomes the incompatibility between SPA and ZK systems by developing an imperative programming language for SAGINs and a specialized abstract domain for interaction threats. The system translates network control algorithms into arithmetic circuits suitable for ZK analysis, maintaining high accuracy in detecting risks. Evaluations of real-world scenarios demonstrate the system\u2019s efficacy in identifying risky interactions with minimal computational overhead. This research presents the first ZK-based SPA scheme for SAGINs, enhancing security and confidentiality in network analysis while adhering to privacy regulations.<\/jats:p>","DOI":"10.1051\/sands\/2024007","type":"journal-article","created":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T18:59:55Z","timestamp":1714417195000},"page":"2024007","source":"Crossref","is-referenced-by-count":2,"title":["Static program analysis for IoT risk mitigation in space-air-ground integrated networks"],"prefix":"10.1051","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0665-8722","authenticated-orcid":false,"given":"Haotian","family":"Deng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaochen","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weijie","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7684-8540","authenticated-orcid":false,"given":"Chuan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huishu","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liehuang","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2024,4,30]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.23919\/JCC.2022.01.001","volume":"19","author":"Wei","year":"2022","journal-title":"Chin Commun"},{"key":"R2","doi-asserted-by":"crossref","first-page":"5550","DOI":"10.1109\/ACCESS.2019.2963223","volume":"8","author":"Wang","year":"2019","journal-title":"IEEE Access"},{"key":"R3","doi-asserted-by":"crossref","first-page":"7897","DOI":"10.1109\/TWC.2020.3017170","volume":"19","author":"Ye","year":"2020","journal-title":"IEEE Trans Wireless Commun"},{"key":"R4","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.arcontrol.2014.09.003","volume":"38","author":"Tang","year":"2014","journal-title":"Ann Rev Control"},{"key":"R5","doi-asserted-by":"crossref","first-page":"154","DOI":"10.3390\/aerospace7110154","volume":"7","author":"Pongsakornsathien","year":"2020","journal-title":"Aerospace"},{"key":"R6","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/10576100590905110","volume":"28","author":"Weimann","year":"2005","journal-title":"Stud Confl Terr"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"Sharif S, Zeadally S and Ejaz W. Space-aerial-ground-sea integrated networks: Resource optimization and challenges in 6g. J Network Comput Appl 2023; 103647","DOI":"10.1016\/j.jnca.2023.103647"},{"key":"R8","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1002\/pip.845","volume":"16","author":"Caama\u00f1o-Mart\u00edn","year":"2008","journal-title":"Prog Photovoltaics Res Appl"},{"key":"R9","unstructured":"European Union. General Data Protection Regulation (gdpr). https:\/\/gdpr-info.eu\/, 2016"},{"key":"R10","unstructured":"The United Kingdom. Data protection act. https:\/\/www.gov.uk\/data-protection, 2018"},{"key":"R11","unstructured":"State of California Department of Justice. California consumer privacy act. https:\/\/oag.ca.gov\/privacy\/ccpa, 2018"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"Goldwasser S, Micali S and Rackoff C. The knowledge complexity of interactive proof-systems (extended abstract). In: 17th Annual ACM Symposium on Theory of Computing, Rhode Island, USA, ACM, 1985, 291\u2013304","DOI":"10.1145\/22145.22178"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"Nguyen DT, Song C, Qian Z, et al. Iotsan: fortifying the safety of iot systems. In: CoNEXT 2018, Heraklion, Greece, ACM, 2018, 191\u2013203","DOI":"10.1145\/3281411.3281440"},{"key":"R14","unstructured":"Celik ZB, McDaniel P and Tan G. Soteria: Automated iot safety and security analysis. In: USENIX ATC 2018, Boston, MA, USA, USENIX Association, 2018, 147\u2013158"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"Ding WB and Hu HX. On the safety of iot device physical interaction control. In CCS 2018, Toronto, ON, Canada, ACM, 2018, 832\u2013846","DOI":"10.1145\/3243734.3243865"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"Alhanahnah M, Stevens C and Bagheri H. Scalable analysis of interaction threats in iot systems. In: ISSTA 2020, Virtual Event, USA, ACM, 2020, 272\u2013285","DOI":"10.1145\/3395363.3397347"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"Cousot P and Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, ACM, 1977, 238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"Fang ZY, Darais D, Near JP and Zhang YP. Zero knowledge static program analysis. In: CCS 2021, Virtual Event, Republic of Korea, ACM, 2021, 2951\u20132967","DOI":"10.1145\/3460120.3484795"},{"key":"R19","doi-asserted-by":"crossref","first-page":"2607","DOI":"10.1109\/TIFS.2019.2899758","volume":"14","author":"Hsu","year":"2019","journal-title":"IEEE Trans Inf Forensics Secur"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"Groth J. On the size of pairing-based non-interactive arguments. In: Marc Fischlin M and Coron J-S (eds.). Advances in Cryptology \u2013 EUROCRYPT 2016, Vienna, Austria. Lecture Notes in Computer Science, Springer, 2016, 9666, 305\u2013326","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"R21","unstructured":"Statista. Number of internet of things (iot) connected devices worldwide from 2019 to 2021, with forecasts from 2022 to 2030. https:\/\/www.statista.com\/statistics\/1183457\/iot-connected-devices-worldwide\/, 2022."},{"key":"R22","unstructured":"IFTTT. If this then that. https:\/\/ifttt.com\/, 2024"}],"container-title":["Security and Safety"],"original-title":[],"link":[{"URL":"https:\/\/sands.edpsciences.org\/10.1051\/sands\/2024007\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T08:20:53Z","timestamp":1717143653000},"score":1,"resource":{"primary":{"URL":"https:\/\/sands.edpsciences.org\/10.1051\/sands\/2024007"}},"subtitle":[],"editor":[{"given":"Jiangzhou","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Yue","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Cheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Haojin","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":22,"alternative-id":["sands20240003"],"URL":"https:\/\/doi.org\/10.1051\/sands\/2024007","relation":{},"ISSN":["2826-1275"],"issn-type":[{"value":"2826-1275","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}