earticle

영어

Non-Terrestrial Network is a next generation communication technology that provides global connectivity via satellites High Altitude Platform Stations etc. NTN can support communications in remote areas, ocean and airspace, and enables cutting-edge application such as self-driving car and remote medical services in war or disaster areas. NTN aims to provide wide coverage and seamless connectivity by providing high data transfer rate, system capacity, spectrum efficiency, and low latency. However, these advancements require new authentication protocols to address security and privacy issues. This paper proposes an authentication protocol that satisfies these requirements, and verifies its security using formal verification tools Scyther.

한국어

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