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

SCOPUS

0

초록

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. © 2025 IGI Global. All rights reserved.

키워드

Formal VerificationNon-Terrestrial NetworksSecurity Protocol
제목
Semantic-Aware Security Protocol Design for 6G Non-Terrestrial Networks: A Formal Verification Approach
저자
Kim, JiyoonLee, SeungbinKo, YonghoYou, Ilsun
DOI
10.4018/IJSWIS.379723
발행일
2025-00
유형
Article
저널명
Semantic Web and Information Systems
21
1