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]
No reviews for this publication, yet.