{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T14:38:18Z","timestamp":1781102298146,"version":"3.54.1"},"reference-count":32,"publisher":"IGI Global Scientific Publishing","issue":"1","license":[{"start":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T00:00:00Z","timestamp":1749081600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/deed.en_US"},{"start":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T00:00:00Z","timestamp":1749081600000},"content-version":"am","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/deed.en_US"},{"start":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T00:00:00Z","timestamp":1749081600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/deed.en_US"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,5]]},"abstract":"<p>6G non-terrestrial networks (NTN) enable global connectivity via satellites and high-altitude platforms, supporting applications like autonomous systems and emergency response. However, NTN faces security challenges such as high-latency communication, dynamic topologies, and increased cyber threats. This paper proposes a semantic-aware authentication protocol that leverages real-time environmental semantics to enhance security adaptability. The authors' approach ensures mutual authentication, secure key exchange, perfect forward secrecy, and data integrity while dynamically responding to network conditions. Using Syverson-Van Oorschot Logic (SVO Logic) and Scyther, the authors formally verify the protocol's security properties. By integrating semantic security policies, this work advances intelligent, context-aware security frameworks for next-generation 6G NTN architectures.<\/p>","DOI":"10.4018\/ijswis.379723","type":"journal-article","created":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T21:31:12Z","timestamp":1749159072000},"page":"1-38","source":"Crossref","is-referenced-by-count":1,"title":["Semantic-Aware Security Protocol Design for 6G Non-Terrestrial Networks"],"prefix":"10.4018","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2710-0864","authenticated-orcid":true,"given":"Jiyoon","family":"Kim","sequence":"first","affiliation":[{"name":"Gyeongsang National University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seungbin","family":"Lee","sequence":"additional","affiliation":[{"name":"Gyeongsang National University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongho","family":"Ko","sequence":"additional","affiliation":[{"name":"Kookmin University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0604-3445","authenticated-orcid":true,"given":"Ilsun","family":"You","sequence":"additional","affiliation":[{"name":"Kookmin University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJSWIS.379723-0","unstructured":"3rd Generation Partnership Project. (2025). Security architecture and procedures for 5G system. https:\/\/portal.3gpp.org\/desktopmodules\/Specifications\/SpecificationDetails.aspx?specificationId=3169"},{"key":"IJSWIS.379723-1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.011.2100191"},{"key":"IJSWIS.379723-2","doi-asserted-by":"publisher","DOI":"10.17487\/RFC9048"},{"key":"IJSWIS.379723-3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48285-7_20"},{"key":"IJSWIS.379723-4","doi-asserted-by":"publisher","DOI":"10.17487\/rfc6696"},{"key":"IJSWIS.379723-5","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.001.1900333"},{"key":"IJSWIS.379723-6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78636-8"},{"key":"IJSWIS.379723-7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_38"},{"key":"IJSWIS.379723-8","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12081759"},{"key":"IJSWIS.379723-9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3162243"},{"key":"IJSWIS.379723-10","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"IJSWIS.379723-11","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.011.2200547"},{"key":"IJSWIS.379723-12","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.011.2200547"},{"key":"IJSWIS.379723-13","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.002.2200366"},{"key":"IJSWIS.379723-14","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.011.2000493"},{"key":"IJSWIS.379723-15","doi-asserted-by":"publisher","DOI":"10.53829\/ntr202111fa3"},{"key":"IJSWIS.379723-16","unstructured":"International Telecommunication Union. (2023). Framework and overall objectives of the future development of IMT for 2030 and beyond. https:\/\/www.itu.int\/dms_pubrec\/itu-r\/rec\/m\/R-REC-M.2160-0-202311-I!!PDF-E.pdf"},{"key":"IJSWIS.379723-17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3314732"},{"key":"IJSWIS.379723-18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3203189"},{"key":"IJSWIS.379723-19","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3082277"},{"key":"IJSWIS.379723-20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3107308"},{"key":"IJSWIS.379723-21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37920-8_27"},{"key":"IJSWIS.379723-22","doi-asserted-by":"publisher","DOI":"10.1109\/MCOMSTD.011.2100038"},{"key":"IJSWIS.379723-23","doi-asserted-by":"publisher","DOI":"10.1002\/sat.1456"},{"key":"IJSWIS.379723-24","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3022981"},{"key":"IJSWIS.379723-25","doi-asserted-by":"publisher","DOI":"10.1109\/IOTM.001.2300154"},{"key":"IJSWIS.379723-26","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5216"},{"key":"IJSWIS.379723-27","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1994.296595"},{"key":"IJSWIS.379723-28","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5106"},{"key":"IJSWIS.379723-29","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3371906"},{"key":"IJSWIS.379723-30","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1993.287633"},{"key":"IJSWIS.379723-31","doi-asserted-by":"publisher","DOI":"10.3390\/s20133622"}],"container-title":["International Journal on Semantic Web and Information Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=379723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T22:07:12Z","timestamp":1765577232000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJSWIS.379723"}},"subtitle":["A Formal Verification Approach"],"short-title":[],"issued":{"date-parts":[[2025,6,5]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1]]}},"URL":"https:\/\/doi.org\/10.4018\/ijswis.379723","relation":{},"ISSN":["1552-6283","1552-6291"],"issn-type":[{"value":"1552-6283","type":"print"},{"value":"1552-6291","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,5]]}}}