Formal Validation of a Security Mechanism against the RSU Compromise Attack - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ons Chikhaoui, Ryma Abassi, Aida Ben Chehida Douss, Sihem Guemara El Fatmi. Formal Validation of a Security Mechanism against the RSU Compromise Attack. In Delphine Reinhardt, Tilo Müller, editors, ARES 2021: The 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17-20, 2021. ACM, 2021. [doi]

The following publications are possibly variants of this publication:

A Security Mechanism Against the RSU Compromise Attack in a Ticket-Based Authentication Scheme for VANETsOns Chikhaoui, Ryma Abassi, Aida Ben Chehida Douss, Sihem Guemara El Fatmi. emcis 2020: 403-416 [doi]

runs on WebDSL