earticle

논문검색

기술

자동차 보안시스템에서 통신 인증프로토콜의 보안성 검증

원문정보

Security Verification of a Communication Authentication Protocol in Vehicular Security System

한명석, 배우식

피인용수 : 0(자료제공 : 네이버학술정보)

초록

영어

Vehicular electronic communication system has continued to develop in favor of high performance and user convenience with the evolution of auto industry. Yet, due to the nature of communication system, concerns over intruder attacks in transmission sections have been raised with a need for safe and secure communication being valued. Any successful intruder attacks on vehicular operation and control systems as well as on visual equipment could result in serious safety and privacy problems. Thus, research has focused on hardware-based security and secure communication protocols. This paper proposed a safe and secure vehicular communication protocol, used the formal verification tool, Casper/FDR to test the security of the proposed protocol against different types of intruder attacks, and verified that the proposed protocol was secure and ended without problems.

한국어

자동차산업의 발전과 함께 차량전자통신시스템이 고성능화 되어가고 있으며 사용자 편의 면에서도 상당히 많은 발전을 거듭해가고 있다. 그러나 통신시스템의 특성상 전송구간에서 공격자의 공격에 대한 문제가 제기되고 있 으며 안전한 통신에 대한 필요성이 중요시 되고 있다. 자동차의 운행, 제어계통 및 영상장비 등에 공격자의 공격이 성공하게 되면 안전 및 프라이버시에 심각한 문제가 발생하게 된다. 따라서 하드웨어적인 보안 및 보안통신프로토콜 에 대한 연구가 중요한 부분으로 이루어지고 있다. 본 논문에서는 안전한 차량 통신프로토콜을 제안하며 공격자의 각종 공격에 안전한 프로토콜을 정형검증도구인 Casper/FDR 도구를 이용하여 실험하였으며 제안 프로토콜이 안전하 며 문제없이 종료됨을 확인하였다.

목차

요약
 Abstract
 1. 서론
 2. 관련연구
  2.1 자동차 보안위협
  2.2 CASPER/FDR
 3. 제안 프로토콜
  3.1 동작설명
 4. 실험결과
 5. 결론
 REFERENCES

저자정보

  • 한명석 Myoungseok Han. 아주자동차대학 자동차디지털튜닝전공
  • 배우식 WooSik Bae. 아주자동차대학

참고문헌

자료제공 : 네이버학술정보

    함께 이용한 논문

      ※ 기관로그인 시 무료 이용이 가능합니다.

      • 4,000원

      0개의 논문이 장바구니에 담겼습니다.