An Evaluative Review of the Formal Verification for VANET Protocols

Fakhfakh, Faten; Tounsi, Mohamed; Mosbah, Mohamed

doi:10.1109/iwcmc.2019.8766783

Cited by 8 publications

(2 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Braille transformation, traditionally used to enable blind individuals to read and write, provides a unique opportunity to add a layer of encryption to passwords. By integrating this transformation method before generating the hash, we aim to enhance resistance against brute force, statistical, and differential attacks [11][12][13][14][15][16][17][18][19][20]. Our rigorous methodology involves first decomposing the password into blocks representing each character.…”

Section: Introductionmentioning

confidence: 99%

Efficient Braille Transformation for Secure Password Hashing

Touil,

Akkad,

Satori

et al. 2024

IEEE Access

View full text Add to dashboard Cite

In this work, we propose a novel approach to enhancing the security of passwords before storing them in databases. Our method utilizes Braille transformation to encrypt the password after generating the corresponding hash. The hash is divided into multiple blocks, each representing a character treated as a transformation unit. Each character is then associated with its corresponding Braille code, which consists of 6 digits. To further enhance security, we randomly replace each occurrence of "0" in the generated string with one of the digits 7, 8, or 9. The final string, six times larger than the original hash, is then stored in the database. To evaluate our approach, we conducted several experiments and comparisons. The results demonstrate that Braille transformation is resistant to brute-force attacks, statistical attacks, and differential attacks. These results were justified using various evaluation criteria, such as execution time and memory space occupied. Braille transformation is susceptible to any modification made to the hash or the generated string, further reinforcing its security. Our Braille-based approach offers an effective solution to strengthen the security of database passwords. It provides advantages in terms of protection against different attacks and offers a robust evaluation based on relevant criteria.

show abstract

Section: Introductionmentioning

confidence: 99%

Efficient Braille Transformation for Secure Password Hashing

Touil,

Akkad,

Satori

et al. 2024

IEEE Access

View full text Add to dashboard Cite

show abstract

“…The general types of VANETs are Vehicle-to-Vehicle (V2V) and Vehicle-to Infrastructure (V2I) communication. Later on, Vehicle to-Roadside units (V2R) are included with it [1]. Most researchers introduced routing protocols to improve the security and traffic model in the VANETs.…”

Section: Introductionmentioning

confidence: 99%

A QoS Aware Cluster Head Selection and Hybrid Cryptography Routing Protocol for Enhancing Efficiency and Security of VANETs

Jubair¹,

Mostafa

Zebari

et al. 2022

IEEE Access

View full text Add to dashboard Cite

Nowadays, VANET (vehicular ad hoc network) is one of the key aspects of developing advanced intelligent transportation systems. Due to its huge mobility and rapid topology alteration, the network exposes to link failure that affects the firmness of the network and causes delay and congestion. Additionally, the dynamic change in the network routing affects the network's security, makes it vulnerable to various attacks, and causes data loss. In order to overcome these drawbacks an efficient and highly secured routing protocol is needed. Subsequently, in this research, a new routing protocol is proposed that has the combination of quality of service (QoS)-aware cluster head (CH) selection and hybrid cryptography, which is named QoS+. The QoS+ protocol is mainly divided into QoS-based CH selection and hybrid cryptography modules. The CH selection module performs based on QoS parameters attempt to provide reliable and stable clusters and improve the firmness and connectivity during the communication process of the network. The hybrid cryptography module contains advanced encryption standard (AES) and elliptic curve cryptosystems (ECC) algorithms. It attempts to improve the security and privacy of the network. The QoS+ protocol is evaluated by a developed VANET simulator using NS2 software. The simulator consists of a network model, a load model, and an attack model. Various speed and transmission ranges and gray hole and wormhole attacks are used in the simulator. The outcome calculated from the performance analysis shows that the proposed QoS+ protocol has 7% to 24% higher message success rate, 500 to 800 higher packets normalized routing load, 350 to 550 Kbps higher throughput, 5% to 17% higher efficiency and 50ms to 12ms lower end to end delay when compared with the earlier works of ECHS and KMSUNET. The proposed QoS+ protocol also achieves superior performance in terms of CH efficiency, cluster member efficiency, and average cluster number with various speeds and transmission ranges.INDEX TERMS Vehicular ad hoc network (VANET), quality of service (QoS), network security, cluster head (CH).

show abstract

Formal Model for the Analysis of the Properties of the Protocol

2024

Design and Evaluation of Ad Hoc Routing Protocol

View full text Add to dashboard Cite

An Evaluative Review of the Formal Verification for VANET Protocols

Cited by 8 publications

References 34 publications

Efficient Braille Transformation for Secure Password Hashing

Efficient Braille Transformation for Secure Password Hashing

A QoS Aware Cluster Head Selection and Hybrid Cryptography Routing Protocol for Enhancing Efficiency and Security of VANETs

Formal Model for the Analysis of the Properties of the Protocol

Contact Info

Product

Resources

About