Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs.

Ons Chikhaoui, Aida Ben Chehida Douss, Ryma Abassi, Sihem Guemara El Fatmi

Browse the full AINA paper archive.