Home > Research > Publications & Outputs > A Formal Method of Trust Computation in VANET

Links

Text available via DOI:

View graph of relations

A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published

Standard

A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach. / Alharthi, Abdullah; Ni, Qiang; Jiang, Richard et al.
Smart Technologies in Urban Engineering. ed. / O. Arsenyeva; T. Romanova; M. Sukhonos; Y. Tsegelnyk. Cham: Springer, 2022. p. 775-784 (Smart Technologies in Urban Engineering; Vol. 536).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Harvard

Alharthi, A, Ni, Q, Jiang, R & Khan, MA 2022, A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach. in O Arsenyeva, T Romanova, M Sukhonos & Y Tsegelnyk (eds), Smart Technologies in Urban Engineering. Smart Technologies in Urban Engineering, vol. 536, Springer, Cham, pp. 775-784. https://doi.org/10.1007/978-3-031-20141-7_69

APA

Alharthi, A., Ni, Q., Jiang, R., & Khan, M. A. (2022). A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach. In O. Arsenyeva, T. Romanova, M. Sukhonos, & Y. Tsegelnyk (Eds.), Smart Technologies in Urban Engineering (pp. 775-784). (Smart Technologies in Urban Engineering; Vol. 536). Springer. https://doi.org/10.1007/978-3-031-20141-7_69

Vancouver

Alharthi A, Ni Q, Jiang R, Khan MA. A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach. In Arsenyeva O, Romanova T, Sukhonos M, Tsegelnyk Y, editors, Smart Technologies in Urban Engineering. Cham: Springer. 2022. p. 775-784. (Smart Technologies in Urban Engineering). Epub 2022 Jun 9. doi: 10.1007/978-3-031-20141-7_69

Author

Alharthi, Abdullah ; Ni, Qiang ; Jiang, Richard et al. / A Formal Method of Trust Computation in VANET : A Spatial, Temporal and Behavioral Approach. Smart Technologies in Urban Engineering. editor / O. Arsenyeva ; T. Romanova ; M. Sukhonos ; Y. Tsegelnyk. Cham : Springer, 2022. pp. 775-784 (Smart Technologies in Urban Engineering).

Bibtex

@inproceedings{e82a82b58474456fa9aec0d073d89141,
title = "A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach",
abstract = "VANETs (vehicular Ad-hoc Networks) are a subclass of Mobile Ad-hoc Networks (MANETs) that are currently playing a key role in Intelligent Transportation Systems (ITS). A VANET is a vehicle-assisted network that develops a dynamic topology over time. VANETs are developed to assist two sorts of applications: safety and non-safety. Non-safety applications ensure that vehicle occupants travel in safety and have access to essential entertainment, whereas safety applications are designed to protect people and public property. The existing VANET requirements are concerned with privacy and security issues, but they don{\textquoteright}t address how to assess the behavior of certified vehicles. A valid vehicle, for instance, could broadcast inaccurate data to a central monitoring system, causing the system to make an erroneous decision. Improved traffic safety and efficiency can be achieved via the use of VANET. However, in an untrusted environment, vehicles have difficulty determining the legitimacy of incoming messages. Trust, data accuracy, and dependability of data being broadcasted via the communication channel are the primary challenges in VANET. Depending on a variety of characteristics, vehicles can determine how trustworthy a given vehicle is based on how well it processes the received message. Therefore, a formal method of trust computation of vehicles is needed. The proposed framework is based on the spatial, temporal and behavioral paraments such as reputation, message correctness, participation degree, message similarity, message freshness, and vehicle age to compute the trust.",
author = "Abdullah Alharthi and Qiang Ni and Richard Jiang and Khan, {Mohammad Ayoub}",
year = "2022",
month = nov,
day = "29",
doi = "10.1007/978-3-031-20141-7_69",
language = "English",
isbn = "9783031201400",
series = "Smart Technologies in Urban Engineering",
publisher = "Springer",
pages = "775--784",
editor = "O. Arsenyeva and T. Romanova and M. Sukhonos and Y. Tsegelnyk",
booktitle = "Smart Technologies in Urban Engineering",

}

RIS

TY - GEN

T1 - A Formal Method of Trust Computation in VANET

T2 - A Spatial, Temporal and Behavioral Approach

AU - Alharthi, Abdullah

AU - Ni, Qiang

AU - Jiang, Richard

AU - Khan, Mohammad Ayoub

PY - 2022/11/29

Y1 - 2022/11/29

N2 - VANETs (vehicular Ad-hoc Networks) are a subclass of Mobile Ad-hoc Networks (MANETs) that are currently playing a key role in Intelligent Transportation Systems (ITS). A VANET is a vehicle-assisted network that develops a dynamic topology over time. VANETs are developed to assist two sorts of applications: safety and non-safety. Non-safety applications ensure that vehicle occupants travel in safety and have access to essential entertainment, whereas safety applications are designed to protect people and public property. The existing VANET requirements are concerned with privacy and security issues, but they don’t address how to assess the behavior of certified vehicles. A valid vehicle, for instance, could broadcast inaccurate data to a central monitoring system, causing the system to make an erroneous decision. Improved traffic safety and efficiency can be achieved via the use of VANET. However, in an untrusted environment, vehicles have difficulty determining the legitimacy of incoming messages. Trust, data accuracy, and dependability of data being broadcasted via the communication channel are the primary challenges in VANET. Depending on a variety of characteristics, vehicles can determine how trustworthy a given vehicle is based on how well it processes the received message. Therefore, a formal method of trust computation of vehicles is needed. The proposed framework is based on the spatial, temporal and behavioral paraments such as reputation, message correctness, participation degree, message similarity, message freshness, and vehicle age to compute the trust.

AB - VANETs (vehicular Ad-hoc Networks) are a subclass of Mobile Ad-hoc Networks (MANETs) that are currently playing a key role in Intelligent Transportation Systems (ITS). A VANET is a vehicle-assisted network that develops a dynamic topology over time. VANETs are developed to assist two sorts of applications: safety and non-safety. Non-safety applications ensure that vehicle occupants travel in safety and have access to essential entertainment, whereas safety applications are designed to protect people and public property. The existing VANET requirements are concerned with privacy and security issues, but they don’t address how to assess the behavior of certified vehicles. A valid vehicle, for instance, could broadcast inaccurate data to a central monitoring system, causing the system to make an erroneous decision. Improved traffic safety and efficiency can be achieved via the use of VANET. However, in an untrusted environment, vehicles have difficulty determining the legitimacy of incoming messages. Trust, data accuracy, and dependability of data being broadcasted via the communication channel are the primary challenges in VANET. Depending on a variety of characteristics, vehicles can determine how trustworthy a given vehicle is based on how well it processes the received message. Therefore, a formal method of trust computation of vehicles is needed. The proposed framework is based on the spatial, temporal and behavioral paraments such as reputation, message correctness, participation degree, message similarity, message freshness, and vehicle age to compute the trust.

U2 - 10.1007/978-3-031-20141-7_69

DO - 10.1007/978-3-031-20141-7_69

M3 - Conference contribution/Paper

SN - 9783031201400

T3 - Smart Technologies in Urban Engineering

SP - 775

EP - 784

BT - Smart Technologies in Urban Engineering

A2 - Arsenyeva, O.

A2 - Romanova, T.

A2 - Sukhonos, M.

A2 - Tsegelnyk, Y.

PB - Springer

CY - Cham

ER -