• 제목/요약/키워드: Vanet

검색결과 288건 처리시간 0.036초

정형검증 도구인 Casper를 이용한 VANET 인증 프로토콜 분석 (Analysis of VANET Authentication Protocol using Casper in the Formal Verification)

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

VANET 환경을 위한 우선순위 기반 클러스터링 알고리즘 (Priority Based Clustering Algorithm for VANETs)

  • 김인환
    • 한국콘텐츠학회논문지
    • /
    • 제20권8호
    • /
    • pp.637-644
    • /
    • 2020
  • VANET (Vehicular Ad Hoc Networks)은 차량 간, 차량과 인프라 간의 네트워크이다. 높은 이동성, 이동 제한, 장애물에 의한 신호 방해와 같은 VANET 고유의 특성은 안정적인 VANET 서비스 제공을 어렵게 한다. 이를 해결하기 위해, 본 논문에서는 기존 버스 기반 클러스터링을 개선한, 차량 종류 기반 우선순위 클러스터 방법을 제시한다. 제안 알고리즘은 차량 종류, 예상 통신 수명, 주변 노드 링크 차수를 바탕으로 우선순위, 링크 품질, 연결성을 평가해 클러스터를 구성한다. 차량의 종류를 바탕으로 미리 결정된 우선순위를 활용함으로써 클러스터 헤드 선택을 단순화하고 클러스터 커버리지를 높이고자 한다. 제안 알고리즘은 커넥티드카 환경에서 안정적인 서비스를 제공하는데 기여함으로써 다양한 서비스 활성화의 기반이 될 것으로 기대된다.

VANET 환경에서 오류수정부호를 사용한 V2I 인증 프로토콜 (V2I Authentication Protocol using Error Correcting Code in VANET Environment)

  • 이수연
    • 융합보안논문지
    • /
    • 제11권6호
    • /
    • pp.37-44
    • /
    • 2011
  • VANET(Vechicular Ad-hoc Network)은 지능형 차량들로 이루어진 애드혹 네트워크 환경으로서 최근 들어 그 연구가 활발하게 진행되고 있는 분야이다. VANET은 원활한 교통 소통, 사고 방지 등 여러 가지 편리한 기능들을 제공하지만 그 기반을 애드혹 네트워크에 두고 있기 때문에 애드혹 망에서 발생하는 보안 문제를 가지고 있고 또한 그 환경적 특성에 따라 추가적인 보안 요구 사항이 존재한다. 본 논문에서는 오류수정부호(Error Correcting Code)의 생성행렬을 사용하여 부호화된 인증서를 생성하고 이를 기반으로 차량의 익명성과 비연결성을 제공하는 V2I(Vehicular to Interface) 인증 프로토콜을 제안한다. 또한 기존 방식에서 차량 등록 및 인증 서버(KDC)의 차량 비밀 키 관리에 대한 오버헤드 문제를 해결하게 되었다.

차량 네트워크에서 예측 기반의 안정적 데이터 포워딩 기법 (Prediction-Based Reliable Data Forwarding Method in VANET)

  • 김민호;주창희
    • 한국통신학회논문지
    • /
    • 제42권1호
    • /
    • pp.128-139
    • /
    • 2017
  • VANET은 안전 운전 및 효율적인 교통 환경을 제공하는 다양한 ITS 서비스 실현을 위한 기술 중 하나이다. VANET에서의 데이터 전송은 노드들의 높은 이동성으로 인하여 복잡성을 야기한다. 본 논문에서는 VANET에서 패킷을 안정적이고 적시에 전달하는 새로운 포워딩 기법을 제안한다. 제안된 기법은 차량 만남을 예측하기 위해 트래픽 통계를 이용하고, 만남 장소에서의 성공적인 무선 전송 확률을 고려함으로써 포워딩 결정을 최적화 한다. 시뮬레이션을 통하여 제안된 포워딩 기법이 VANET 환경에서 신뢰성있는 데이터 전송을 달성함을 확인하였다.

고속도로에서 차량네트워크(VANET)의 효율적인 인증 보안 매커니즘 (An Efficiency Authentication Security Mechanism of VANET in Highway)

  • 김갑인;김영찬;이종근
    • 중소기업융합학회논문지
    • /
    • 제6권3호
    • /
    • pp.57-64
    • /
    • 2016
  • 차량네트워크에서 정보의 전달은 열려진 통신 환경에서 배분되어지는 환경이기 때문에, 차량네트워크에서의 정보 보안 문제는 가장 중요한 문제 중 하나가 된다. 차량네트워크의 효율적인 통신체계 구축을 위해서는 각 도로통신장치와 차량단말장치에서 수집되어지는 정보의 특성과 모든 주변 환경과의 정확한 정보 소통이 요구되어진다. 본 논문에서는 고속도로 환경에서 차량 네트워크에서 도로통신장치와 차량단말장치 간의 정보 통신을 신원 기반의 기존 정보를 활용하여 차량의 인증을 위한 보안 매커니즘을 제안하며 기존의 제안된 알고리즘과 성능을 비교 분석함으로 그 효율성을 검증한다.

VANET에서 카운팅 블룸 필터를 사용한 효율적인 그룹 키 관리 기법 (An Efficient Group Key Management Scheme using Counting Bloom Filter in VANET)

  • 이수연;안효범
    • 융합보안논문지
    • /
    • 제13권4호
    • /
    • pp.47-52
    • /
    • 2013
  • VANET(Vehicular Ad-hoc Network)은 원활한 교통 소통, 사고 방지 등 여러 가지 편리한 기능들을 제공하지만 그 기반을 애드혹 네트워크에 두고 있기 때문에 애드혹 망에서 발생하는 보안 문제를 가지고 있다. VANET에서 사용자의 프라이버시를 보호하기 위해 그룹 서명방식 등이 연구되어졌다. 그러나 그룹 간에 그룹 키 생성 단계 및 그룹 키 갱신단계에서 RSU(Road-Side Unit) 및 차량의 계산상 오버헤드가 발생한다. 본 논문에서는 효율적인 그룹 키 관리 기술을 제안한다. 즉, 그룹 키 생성 및 갱신 단계에서 CBF(Counting Bloom Filter)를 사용하므로 RSU 및 차량의 계산상 오버헤드를 감소시킨다. 또한, RSU와 차량에서 그룹 키를 자체적으로 갱신하여 관리하는 기법이다.

VANET 환경에서 멀티 비콘을 적용한 충돌 회피 알고리즘에 관한 연구 (A Study of Collision Avoidance Algorithm Based on Multi-Beacon in the Vehicular Ad-hoc Network)

  • 김재완;엄두섭
    • 한국IT서비스학회지
    • /
    • 제11권4호
    • /
    • pp.195-213
    • /
    • 2012
  • In ubiquitous environments, the Intelligent Transportation System (ITS) protocol is a typical service used to improve the quality of life for humans. The Vehicular Ad-hoc Network (VANET) protocol, a part of ITS, needs further study with regards to its support for high reliability, high speed mobility, data transmission efficiency, and so on. The IEEE 802.11 standard provides a high data rate channel, but it was designed for peer-to-peer network protocols. IEEE 802.11p also provides a high data rate channel, however, it only facilitates communication between roadside and on-board equipment. A VANET has characteristics that enable its topology to change rapidly; it can also be expanded to a multi-hop range network during communication. Therefore, the VANET protocol needs a way to infer the current topology information relating to VANET equipped vehicles. In this paper, we present the Multi-Beacon MAC Protocol, and propose a method to resolve the problem of beacon collisions in VANET through the use of this Multi-Beacon MAC protocol. Evaluation of the performance of Multi-Beacon MAC protocol by means of both mathematical analyses and simulation experiments indicate that the proposed method can effectively reduce beacon collisions and improve the throughput and the delay between vehicles in VANET systems.

VANET에서의 효율적인 긴급 메시지 전송 기법 (An Effective Emergency Message Delivery Mechanism for VANET)

  • 황정희;최종원
    • 한국ITS학회 논문지
    • /
    • 제11권4호
    • /
    • pp.86-94
    • /
    • 2012
  • VANET(Vechicular Ad Hoc Network)은 MANET(Mobile Ad Hoc Network)의 일종으로 인프라 없이 차량간 통신을 주목적으로 한다. VANET은 도로 상황정보를 기반으로 안전 운전 경고 서비스를 제공할 수 있고, 이를 통해 운전자는 안전 운전을 할 수 있다. VANET에서의 긴급 메시지 전송은 일반적으로 브로드캐스트 방법을 사용하여 일정한 범위에 있는 차량들을 대상으로 이루어진다. 그러나 일정 범위에 있는 차량들에게 브로드캐스트 메시지를 전송하게 되면 메시지 간의 충돌이 발생하여 전송 지연이 증가한다. 본 논문에서는 메시지 간의 충돌을 줄이기 위해 테이블 기반 방식을 이용한 브로드캐스트 방법을 제안한다. 메시지 성공률을 기반으로 메시지를 전송하게 될 경우 기존 방법에서의 메시지 충돌로 인한 재전송을 줄여 메시지 수신 지연 시간이 줄어든다.

Mobility-Based Clustering Algorithm for Multimedia Broadcasting over IEEE 802.11p-LTE-enabled VANET

  • Syfullah, Mohammad;Lim, Joanne Mun-Yee;Siaw, Fei Lu
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제13권3호
    • /
    • pp.1213-1237
    • /
    • 2019
  • Vehicular Ad-hoc Network (VANET) facilities envision future Intelligent Transporting Systems (ITSs) by providing inter-vehicle communication for metrics such as road surveillance, traffic information, and road condition. In recent years, vehicle manufacturers, researchers and academicians have devoted significant attention to vehicular communication technology because of its highly dynamic connectivity and self-organized, decentralized networking characteristics. However, due to VANET's high mobility, dynamic network topology and low communication coverage, dissemination of large data packets (e.g. multimedia content) is challenging. Clustering enhances network performance by maintaining communication link stability, sharing network resources and efficiently using bandwidth among nodes. This paper proposes a mobility-based, multi-hop clustering algorithm, (MBCA) for multimedia content broadcasting over an IEEE 802.11p-LTE-enabled hybrid VANET architecture. The OMNeT++ network simulator and a SUMO traffic generator are used to simulate a network scenario. The simulation results indicate that the proposed clustering algorithm over a hybrid VANET architecture improves the overall network stability and performance, resulting in an overall 20% increased cluster head duration, 20% increased cluster member duration, lower cluster overhead, 15% improved data packet delivery ratio and lower network delay from the referenced schemes [46], [47] and [50] during multimedia content dissemination over VANET.

VANET 환경에서 위치 프라이버시를 제공하는 보안 라우팅 프로토콜 (A Secure Routing Protocol to Provide Location Privacy in VANET)

  • 김효;오희국;김상진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.1100-1103
    • /
    • 2008
  • VANET(Vehicle Ad-hoc Network) 환경은 도로위의 차량을 노드로 하여 구성하는 애드혹 네트워크로써 최근 들어 그 연구가 활발히 진행되고 있는 분야이다. 일반적인 애드혹 환경과 마찬가지로 VANET 환경에서도 보안적인 문제가 중요한 이슈로 대두되고 있다. VANET 환경에서 가장 중요하게 요구되는 보안요소는 차량의 익명성을 통한 위치 프라이버시와 협력 운전(cooperative driving) 단계에서 사용되는 메시지에 대한 인증, 무결성, 부인방지 등이다. 본 논문에서는 익명 아이디(pseudonym), 그룹화 등을 통해 차량의 위치 프라이버시를 제공하고 또한 이를 이용해 VANET 환경에서 사용할 수 있는 라우팅 프로토콜을 제안하고자 한다. RA(Registration Authority)에서 발급되는 익명 아이디의 집합과 차량의 전송 범위를 고려해서 구성되는 그룹화는 그룹에 속한 차량에 대해 익명성을 제공하고, 또한 그룹리더에 의해 생성되는 그룹키를 통해 효율적인 협력 운전 메시지 전달을 할 수 있게 된다. 그리고 각각의 그룹리더를 라우터로 이용해 전달되는 라우팅 프로토콜은 노드가 매우 유동적으로 움직이는 VANET 환경에서 효과적으로 메시지를 전달할 수 있도록 해줄 것이다.