비지상 네트워크 환경에서의 게이트웨이 기반 핸드오버 보안 프로토콜 설계
Design of Gateway-based Handover Security Protocol for Non-Terrestrial Network Environment

초록

비지상 네트워크는 차세대 통신 기술로, 위성, 고고도 플랫폼 등을 통해 글로벌 연결을 제공한다. 이는 외곽 지역, 먼바다, 영공 등에서 통신을 지원하며, 자율 주행 차량 및 분쟁 혹은 재난 지역 원격 의료 서비스와 같은 최첨단 애플리케이션을 가능하게 한다. 비지상 네트워크는 높은 데이터 속도, 시스템 용량, 스펙트럼 효율성, 낮은 지연 시간을 제공하여 넓은 커버리지와 원활한 연결성을 목표로 한다. 하지만, 보안 및 개인정보 보호 문제를 해결하기 위해 새로운 인증 프로토콜이 필요로 한다. 이 논문은 이러한 요구를 충족하는 인증 프로토콜을 제안하며, 이에 정형화 검증 도구인 Scyther를 통하여 보안성 검증을 진행한다.

키워드

비 지상 네트워크이동성 관리핸드오버정형 검증Non-Terrestrial NetworkMovement managementHandoverFormal Verification
제목
비지상 네트워크 환경에서의 게이트웨이 기반 핸드오버 보안 프로토콜 설계
제목 (타언어)
Design of Gateway-based Handover Security Protocol for Non-Terrestrial Network Environment
저자
이승빈강경아김지윤
DOI
10.23019/kingpc.21.2.202504.003
발행일
2025-04
유형
Y
저널명
한국차세대컴퓨팅학회 논문지
21
2
페이지
26 ~ 34