Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2003.04a
  • /
  • Pages.239-241
  • /
  • 2003
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

The Analysis of RADIUS protocol using CSP/FDR

CSP/FDR을 이용한 RADIUS 프로토콜 분석

  • 김일곤 (고려대학교 컴퓨터공학과) ;
  • 최진영 (고려대학교 컴퓨터공학과)
  • Published : 2003.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

무선 인터넷의 활성화와 더불어, 사용자 인중(Authentication), 권한 부여(Accounting) 그리고 자원사용(Accounting)의 세가지 AAA 서비스를 효율적으로 제공하기 위해 RADIUS와 같은 AAA프로토콜들이 사용되고 있다. 본 논문에서는 Casper와 CSP를 이용하여 RADIUS 프로토콜을 수행동작을 명세하고, 모델 체킹 도구인 FDR을 사용하여 RADIUS 프로토콜의 안전성을 분석하고자 하였다.

Keywords