中文
相关论文

相关论文: VeriVANca: An Actor-Based Framework for Formal Ver…

200 篇论文

Vehicular Ad-hoc Networks (VANET) is a derived subclass of Mobile Ad-hoc Networks (MANET) with vehicles as mobile nodes. VANET facilitate vehicles to share safety and non-safety information through messages. Safety information includes road…

网络与互联网体系结构 · 计算机科学 2020-03-11 Anirudh Paranjothi

Vehicular Ad Hoc Networks (VANETs) enable road users and public infrastructure to share information that improves the operation of roads and driver experience. However, these are vulnerable to poorly behaved authorized users. Trust…

密码学与安全 · 计算机科学 2024-05-09 Rezvi Shahariar , Chris Phillips

Vehicular Ad Hoc Networks (VANETs) support the information dissemination among vehicles, Roadside Units (RSUs), and a Trust Authority (TA). A trust model evaluates an entity or data or both to determine truthfulness. A security model…

网络与互联网体系结构 · 计算机科学 2026-02-23 Rezvi Shahariar , Chris Phillips

Information security is an important issue in vehicular networks as the accuracy and integrity of information is a prerequisite to satisfactory performance of almost all vehicular network applications. In this paper, we study the…

网络与互联网体系结构 · 计算机科学 2017-06-12 Jieqiong Chen , Guoqiang Mao

Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very fast as they make communication easier and more available. However, their protocols tend to be difficult to design due to topology dependent behavior…

网络与互联网体系结构 · 计算机科学 2017-04-18 Behnaz Yousefi , Fatemeh Ghassemi , Ramtin Khosravi

Vehicular ad hoc networks is a modern technology that holds an important aspect in the transportation domain due to its abilities to increase traffic efficiency and safety. It is a another variant of Mobile ad-hoc networks that provides…

网络与互联网体系结构 · 计算机科学 2021-05-20 Revanth V S , Suthan L

Effective inter-vehicle communication is fundamental to a decentralized traffic information system based on Vehicular Ad Hoc Networks (VANETs). To reflect the uncertainty of the information propagation, most of the existing work was…

网络与互联网体系结构 · 计算机科学 2015-12-15 Minming Ni , Jianping Pan , Miao Hu , Zhangdui Zhong

The integrity of messages in vehicular ad-hoc networks has been extensively studied by the research community, resulting in the IEEE~1609.2 standard, which provides typical integrity guarantees. However, the correctness of message contents…

密码学与安全 · 计算机科学 2017-04-03 Rens W. van der Heijden , Ala'a Al-Momani , Frank Kargl , Osama M. F. Abu-Sharkh

Vehicular Ad-hoc Networks (VANET) are self-organized, distributed communication networks built up from moving vehicles where each node is characterized by variable speed, strict limits of freedom in movement patterns and a variety of…

网络与互联网体系结构 · 计算机科学 2013-04-17 Alice Castellano , Francesca Cuomo

Vehicular Ad hoc Network (VANET) is one of the emerging research areas in the mobile computing field which is considered as a future technology and promising topic in the computer science and computer networks. Which provides road safety,…

网络与互联网体系结构 · 计算机科学 2019-07-01 Ghassan Samara

A resilient multi-vehicle system cooperatively performs tasks by exchanging information, detecting, and removing cyber attacks that have the intent of hijacking or diminishing performance of the entire system. In this paper, we propose a…

系统与控制 · 电气工程与系统科学 2021-10-06 Paul J Bonczek , Nicola Bezzo

VANETs are considered as networks of critical future importance, with the main concern being the safety of travelers and infrastructure. A lot of methods for coordination and channel allocation in the context of VANETs are being introduced.…

网络与互联网体系结构 · 计算机科学 2015-06-09 Hameer Abbasi , Shahid H. Abbassi , Ijaz M. Qureshi

Vehicular networks are networks of communicating vehicles, a major enabling technology for future cooperative and autonomous driving technologies. The most important messages in these networks are broadcast-authenticated periodic one-hop…

密码学与安全 · 计算机科学 2018-04-19 Rens W. van der Heijden , Thomas Lukaseder , Frank Kargl

Vehicular Ad-Hoc Networks (VANETs) are special forms of Mobile Ad-Hoc Networks (MANETs) that allows vehicles to communicate together in the absence of fixed infrastructure.In this type of network beaconing is the means used to discover the…

密码学与安全 · 计算机科学 2012-12-12 Mohammed Erritali , Oussama Mohamed Reda , Bouabid El Ouahidi

The new type of Mobile Ad hoc Network which is called Vehicular Ad hoc Networks (VANET) created a fertile environment for research. In this research, a protocol Particle Swarm Optimization Contention Based Broadcast (PCBB) is proposed, for…

网络与互联网体系结构 · 计算机科学 2014-07-01 Ghassan Samara , Tareq Alhmiedat

Vehicular Networks enable a vast number of innovative applications, which rely on the efficient exchange of information between vehicles. However, efficient and reliable data dissemination is a particularly challenging task in the context…

网络与互联网体系结构 · 计算机科学 2014-11-11 Pedro M. d'Orey , Nitin Maslekar , Idoia de la Iglesia , Nikola K. Zahariev

This paper deals with broadcasting problem in vehicular ad hoc networks (VANETs). This communication mode is commonly used for sending safety messages and traffic information. However, designing an efficient broadcasting protocol is hard to…

网络与互联网体系结构 · 计算机科学 2017-06-08 Wahabou Abdou , Benoit Darties , Nader Mbarek

A Vehicular Ad-hoc NETwork (VANET) is a special form of Mobile Ad-hoc Network designed to provide communications among nearby vehicles and between vehicles and nearby fixed roadside equipment. Its main goal is to improve safety and comfort…

密码学与安全 · 计算机科学 2016-11-18 P. Caballero-Gil , J. Molina-Gil , C. Hernández-Goya , C. Caballero-Gil

A Vehicular Ad-Hoc Network (VANET) is a form of Mobile ad-hoc network, to provide communications among nearby vehicles and between vehicles and nearby fixed roadside equipment. The key operation in VANETs is the broadcast of messages.…

密码学与安全 · 计算机科学 2016-11-18 P. Caballero-Gil , C. Caballero-Gil , J. Molina-Gil , C. Hernández-Goya

In this paper we have discussed about the number of automobiles that has been increased on the road in the past few years. Due to high density of vehicles, the potential threats and road accident is increasing. Wireless technology is aiming…

网络与互联网体系结构 · 计算机科学 2013-04-19 Vaishali D. Khairnar , S. N. Pradhan
‹ 上一页 1 2 3 10 下一页 ›