Earticle

초록

한국어

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

영어

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.

목차

요약
Abstract
1. 서론
2. 관련 연구
2.1 NTN
2.2 이동성 관리 연구
3. 프로토콜 설계(구현)
3.1 개요
3.2 보안 요구사항
3.3 제안하는 프로토콜
4. 정형 검증
4.1 Scyther
4.2 검증 결과
5. 성능 평가
6. 결론 및 향후 연구
Acknowledgement
참고문헌

저자

• 이승빈 [ Lee Seung Bin | 경상국립대학교 컴퓨터공학과 ]
• 강경아 [ Kang Kyeong A | 경상국립대학교 컴퓨터공학과 ]
• 김지윤 [ Kim Ji Yoon | 경상국립대학교 컴퓨터공학과 ] 교신저자

참고문헌