Semantic-Aware Security Protocol Design for 6G Non-Terrestrial Networks: A Formal Verification Approach

Jiyoon Kim, Seungbin Lee, Yongho Ko and Ilsun You
Additional contact information
Jiyoon Kim: Gyeongsang National University, South Korea
Seungbin Lee: Gyeongsang National University, South Korea
Yongho Ko: Kookmin University, South Korea
Ilsun You: Kookmin University, South Korea

International Journal on Semantic Web and Information Systems (IJSWIS), 2025, vol. 21, issue 1, 1-38

Abstract: 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.

Date: 2025
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 0.4018/IJSWIS.379723 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jswis0:v:21:y:2025:i:1:p:1-38

Access Statistics for this article

International Journal on Semantic Web and Information Systems (IJSWIS) is currently edited by Brij Gupta

More articles in International Journal on Semantic Web and Information Systems (IJSWIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().