한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(D)
- /
- Pages.47-51
- /
- 2010
- /
- 1598-5164(pISSN)
AVISPA를 이용한 3GPP 네트워크의 EAP-AKA 프로토콜 명세 및 검증
The Specification and Verification of EAP-AKA Protocols on 3GPP Network Using AVISPA
- Kim, Hyun-Su (Dept. of Computer science, Korea University) ;
- Choi, Jin-Young (Dept. of Computer science, Korea University)
- 발행 : 2010.06.30
초록
휴대인터넷(WiBro: Wireless Broadband)은 언제 어디서나 고속으로 무선 인터넷 접속이 가능한 서비스를 위한 기술이다. 노트북을 비롯한 휴대가 간편한 PDA, 스마트폰으로 사람이 보행 또는 차량 주행 중에서도 끊김 없이(seamless) 무선 인터넷 서비스가 가능하다. 이동성과 고속 무선 통신이 가능한 서비스에서 중요한 기술 요소 중 하나가 보안이다. 본 논문은 안전한 서비스를 제공하기 위하여 WiBro 무선 네트워크에서의 USIM 기반 EAP-AKA 인증 프로토콜 보안 요구사항 안전성을 정형기법 툴인 AVISPA를 이용하여 명세 및 검증해 본다.
키워드