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

Ons Chikhaoui, Aida Ben Chehida Douss, Ryma Abassi, Sihem Guemara El Fatmi. Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs. In Leonard Barolli, Makoto Takizawa 0001, Tomoya Enokido, Marek R. Ogiela, Lidia Ogiela, Nadeem Javaid, editors, 32nd International Conference on Advanced Information Networking and Applications Workshops, AINA 2018 workshops, Krakow, Poland, May 16-18, 2018. pages 496-501, IEEE Computer Society, 2018. [doi]

Authors

Ons Chikhaoui

This author has not been identified. Look up 'Ons Chikhaoui' in Google

Aida Ben Chehida Douss

This author has not been identified. Look up 'Aida Ben Chehida Douss' in Google

Ryma Abassi

This author has not been identified. Look up 'Ryma Abassi' in Google

Sihem Guemara El Fatmi

This author has not been identified. Look up 'Sihem Guemara El Fatmi' in Google