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를 통하여 보안성 검증을 진행한다.

목차

요약
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 | 경상국립대학교 컴퓨터공학과 ] 교신저자

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  한국차세대컴퓨팅학회 논문지 [THE JOURNAL OF KOREAN INSTITUTE OF NEXT GENERATION COMPUTING]

• 간기

  격월간

• pISSN

  1975-681X

• 수록기간

  2005~2026

• 등재여부

  KCI 등재

• 십진분류

  KDC 566 DDC 004