Earticle

초록

한국어

VANET(Vehicular Ad-hoc Network)은 지능형 차량들로 이루어진 애드혹 네트워크 환경으로서 최근 들어 그 연구 가 활발하게 진행되고 있는 분야이다. VANET은 원활한 교통 소통, 사고 방지 등 여러 가지 편리한 기능들을 제공하지 만 그 기반을 애드혹 네트워크에 두고 있기 때문에 애드혹 망에서 발생하는 보안 문제를 가지고 있고 또한 그 환경적 특성에 따라 추가적인 보안 요구 사항이 존재한다. 본 논문에서는 해쉬함수를 이용한 기존의 V2I 인증프로토콜에 대하 여 검토하고, 이를 정형적 검증 방법인 Casper를 이용하여 인증 프로토콜의 안정성을 분석하였고 그 결과 안전함을 증 명하였다.

영어

VANET(Vehicular Ad-hoc Network) is a kind of ad hoc networks consist of intelligence vehicular ad nodes, and has become a hot emerging research project in many fields. It provide traffic safety, cooperative driving and etc. but has also some security problems that can be occurred in general ad hoc networks. Also, in VANET, vehiculars should be able to authenticate each other to securely communicate with network-based infrastructure, and their locations and identifiers should not be exposed from the communication messages. This paper explains V2I authentication protocol using a hash function that preserves the user privacy. In addition, we analyze the security stability of the V2I authentication protocol using Casper in the formal verification technique. As a result, V2I authentication protocol using hash function prove a stability.

목차

요약
 ABSTRACT
 1. 서론
 2. 관련 연구 및 보안 요구 사항
  2.1 보안요구사항
  2.2 익명 ID기반 집합 방식
  2.3 그룹 서명 방식
 3. 정형적 검증 도구
  3.1 CSP(Communication Sequential Process)
  3.2 Casper(A Compiler for the Analysis of Security Protocol)
  3.3 FDR(Failure Divergence Refinement)
 4. VANET 인증 프로토콜
  4.1 시스템 환경
  4.2 인증 프로토콜의 설명
 5. Casper를 이용한 VANET 인증 프로토콜 분석 및 검증 결과
  5.1 VANET 인증 프로토콜 분석
  5.2 VANET 인증 프로토콜 검증 결과
 6. 결론
 참고문헌

저자

• 이수연 [ Su-Youn Lee | 백석문화대학교 인터넷정보학부 ]
• 안효범 [ Hyo-Beom Ahn | 공주대학교 정보통신공학부 ] 교신저자

참고문헌