Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs
Chikhaoui, Ons, Ben Chehida Douss, Aida, Abassi, Ryma, Guemara El Fatmi, Sihem
Published in 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) (01.05.2018)
Published in 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) (01.05.2018)
Get full text
Conference Proceeding