• 제목/요약/키워드: Vehicular Ad-Hoc Network

검색결과 187건 처리시간 0.024초

정형검증 도구인 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를 이용하여 인증 프로토콜의 안정성을 분석하였고 그 결과 안전함을 증명하였다.

Vehicular ad hoc network 기반 교통 정보 시스템에서 차량간 통신에 의한 정보 전달 범위 측정 (Measuring a Range of Information Dissemination in a Traffic Information System Based on a Vehicular ad hoc Network)

  • 김형수;신민호;남범석
    • 한국ITS학회 논문지
    • /
    • 제7권6호
    • /
    • pp.12-20
    • /
    • 2008
  • 최근에 가속화된 무선 통신 기술의 발달은 교통 분야에도 새로운 가능성을 제시하고 있다. 무선 통신 기술의 하나인 애드혹 네트워크(ad hoc network)는 서비스를 제공하는 시설(Infrastructure) 없이도 노드간 통신을 통하여 데이터를 교환 할 수 있는 기술이다. 특히, 차량에 의한 애드혹 네트워크를 가리키는 Vehicular ad hoc networks (VANETs)는 주행중 차량간 통신을 가능하게 하여, 차량들 스스로 자기가 경험한 교통정보를 공유하는 분산형 교통 정보 시스템을 구성할 수 있다. 본 연구에서는 VANET을 기반으로 하는 교통 정보 시스템에서 차량간 통신에 의하여 전달되는 교통정보의 전달범위를 측정하였다. 정보의 전달 범위를 측정하기 위하여 미시적 모형의 교통 시뮬레이터인 Paramics와 네트워크 시뮬레이터인 QualNet을 통합한 컴퓨터 모의실험 환경을 구축하여, 실제 도로망과 교통수요를 바탕으로 실험을 실시하였다. 결과에 의하면, 제한속도가 97km/hr(60mile/hr)인 고속도로에서 시장점유율이 10%인 경우, 5km 전방의 교통 정보를 얻는데 비혼잡시(10veh/ln.km) 약 3분, 혼잡시(40veh/ln.km) 43초 소요되었다. 즉, 비혼잡시 대부분의 교통 정보는 반대 방향으로 진행중인 차량에 의하여 전달되고, 혼잡시에는 같은 방향으로 진행하는 차량에 의한 전달 기회가 많아진다는 사실을 보여준다. 특히, 비혼잡시 낮은 시장점유율(3%)에서도 교통 정보는 효율적으로 전달되고 있었다. 본 연구에서 소개된 VANETs은 발전 가능성이 높은 기술로, 정보를 신속하게 전달할 수 있는 장점과 함께 차량과 인프라간의 통신을 위한 시설의 설치시 밀도를 결정하는데 중요한 자료로 활용될 것으로 기대된다.

  • PDF

도로 사정에 따른 효율적인 자동차 애드 혹망의 성능평가에 관한 연구 (A Study on Performance Evaluation of Efficient Vehicular Ad-Hoc Network in Road Traffic)

  • 조옥래
    • 한국산학기술학회논문지
    • /
    • 제8권3호
    • /
    • pp.593-600
    • /
    • 2007
  • 본 논문에서는 도로망의 사정에 따라 변화될 수 있는 자동차 애드 혹 망 성능을 연구하기 위하여 도로망을 구성하고 라우팅 프로토콜별로 적용하여 성능을 비교분석하였다. 적용한 라우팅 프로토콜은 MANET(Mobile Ad-Hoc Network)인 AODV(Ad-hoc On-Demand Distance Vector)와 DSR(Dynamic Source Routing) 프로토콜이다. AODV는 일반적으로 DSR보다 성능이 우수한 것으로 알려져 있으나 애드 혹 도로망에서 자동차의 수가 많아질 경우에는 DSR 프로토콜이 성능 면에서 비슷하거나 오히려 우세하다는 결과를 얻을 수 있었다. 시뮬레이션을 위하여 왕복 4차선을 OPNET에서 구현하고 실행하였다.

  • PDF

Intelligent Clustering in Vehicular ad hoc Networks

  • Aadil, Farhan;Khan, Salabat;Bajwa, Khalid Bashir;Khan, Muhammad Fahad;Ali, Asad
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제10권8호
    • /
    • pp.3512-3528
    • /
    • 2016
  • A network with high mobility nodes or vehicles is vehicular ad hoc Network (VANET). For improvement in communication efficiency of VANET, many techniques have been proposed; one of these techniques is vehicular node clustering. Cluster nodes (CNs) and Cluster Heads (CHs) are elected or selected in the process of clustering. The longer the lifetime of clusters and the lesser the number of CHs attributes to efficient networking in VANETs. In this paper, a novel Clustering algorithm is proposed based on Ant Colony Optimization (ACO) for VANET named ACONET. This algorithm forms optimized clusters to offer robust communication for VANETs. For optimized clustering, parameters of transmission range, direction, speed of the nodes and load balance factor (LBF) are considered. The ACONET is compared empirically with state of the art methods, including Multi-Objective Particle Swarm Optimization (MOPSO) and Comprehensive Learning Particle Swarm Optimization (CLPSO) based clustering techniques. An extensive set of experiments is performed by varying the grid size of the network, the transmission range of nodes, and total number of nodes in network to evaluate the effectiveness of the algorithms in comparison. The results indicate that the ACONET has significantly outperformed the competitors.

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와 차량에서 그룹 키를 자체적으로 갱신하여 관리하는 기법이다.

Comparison of Topology Based-Routing Protocols in Wireless Network

  • Sharma, Vikas;Ganpati, Anita
    • Journal of Multimedia Information System
    • /
    • 제6권2호
    • /
    • pp.61-66
    • /
    • 2019
  • VANET (Vehicular Ad-hoc Network) is a mobile Ad-hoc Network which deals with the moving vehicles. VANET supports Intelligent Transport Systems (ITS) which is related to different modes of transport and traffic management techniques. VANETs enabled users to be informed and make them safer. VANET uses IEEE 802.11p standard wireless access protocol for communication. An important and necessary issue of VANET is to design routing protocols. In a network, communication takes place by the use of the routing protocols. There are mainly two types of communications used such as Vehicle to Vehicle (V2V) and Vehicle to Infrastructure (V2I) in VANET. Vehicles can send and receive messages among them and also to and from infrastructure used. In this paper, AODV, DSR and DSDV are compared by analysing the results of simulation on various metrics such as average throughput, instant throughput, packet delivery ratio and residual energy. Findings indicates utilization of AODV and DSR is more applicable for these metrics as compared to DSDV. A network simulator (NS2) is used for simulation.

Routing in Vehicular Ad Hoc Networks: Issues and Protocols

  • ;모상만;정일용
    • 한국멀티미디어학회지
    • /
    • 제12권4호
    • /
    • pp.28-40
    • /
    • 2008
  • Vehicular ad hoc networks (VANETs) are a practical application class of wireless ad hoc networks, which consist of moving vehicles equipped with radio communication capabilities that collaborate to form a temporary network. This paper addresses issues and protocols of multihop routing in such emerging networks in the context of safety and infotainment applications. Due to the highly dynamic mobility of vehicles, frequent link breakage and short connection time are inevitable and, thus, the routing is a challenging task and interest for many researchers and industrial community. The frequent and dynamic change of topology makes the topology-based routing unreliable but the position-based routing more effective. The position-based routing consists of the location service which maps a node id to a geo-graphical position and the forwarding scheme which selects the next hop based on geo-graphical information of the node, its neighbors and the destination. The routing techniques are further categorized into geographical forwarding, trajectory forwarding and opportunistic forwarding based on the forwarding scheme. In this paper, we first present the distinguished properties of VANETs and the challenges and intractable issues posed in designing the routing protocols, followed by the comprehensive survey of existing routing protocols. Then, the different routing protocols designed for VANETs are compared in terms of characteristics, performance and application domains.

  • PDF

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.

QoS sensitive VANET Control Scheme based on Feedback Game Model

  • Kim, Sungwook
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제9권5호
    • /
    • pp.1752-1767
    • /
    • 2015
  • As a special type of mobile ad-hoc network, Vehicular Ad-hoc Network (VANET) is considered as an attractive topic by many researchers. In VANETs, vehicles act as routers and clients, which are connected with each other through unreliable wireless links. Due to the dynamic nature of vehicles, developing communication protocols for VANETs is a challenging task. In this paper, we tackle the problem of real-world VANET operations and propose a new dual-level communication scheme through the combination of power and rate control algorithms. Based on the game theoretic approach, the proposed scheme effectively formulates the interactive situation among several vehicles. With a simulation study, it is confirmed that the proposed scheme can achieve better performance than other existing schemes under widely diverse VANET environments.

차량 애드혹 네트워크에서 경쟁윈도우를 이용한 메시지 브로드캐스트 기법 (A Message Broadcast Scheme using Contention Window in Vehicular Ad-hoc Network)

  • 김태환;홍원기;김희철
    • 한국정보과학회논문지:정보통신
    • /
    • 제34권6호
    • /
    • pp.423-434
    • /
    • 2007
  • 차량 애드혹 네트워크는 이동 애드혹 네트워크의 한 종류로서 ITS를 위한 핵심 기술이다. 차량 애드혹 네트워크는 기반시설의 도움 없이 차량 간의 무선통신을 통해 임시적으로 구성되며 메시지 중계 노드로 선정된 차량들을 통해 메시지가 전파된다. 그러나 차량 애드혹 네트워크는 기존의 이동 애드혹 네트워크 보다 네트워크 토폴로지와 노드밀도의 변화가 아주 심하다. 따라서, 멀티-홉 브로드캐스트를 통해 메시지를 신속히 전파하기 위해서는 효과적인 릴레이 노드 선정기법이 요구된다. 본 논문에서는 차량 애드혹 네트워크에서 효율적으로 메시지를 전파하기 위한 경쟁윈도우 기반 멀티-홉 브로드캐스트 기법을 제안한다. 제안한 기법은 각 노드가 최적화된 경쟁윈도우를 계산하고 노드들 간의 경쟁을 통해 최적의 릴레이 노드가 선정되도록 한다. 실험결과, 제안한 기법은 기존의 거리기반 결정적 멀티-홉 브로드캐스트 기법에 비하여 종단간 메시지 전파 지연시간과 네트워크 부하 면에서 우수한 성능을 보였다.