Login / Signup
Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs.
Ons Chikhaoui
Aida Ben Chehida Douss
Ryma Abassi
Sihem Guemara El Fatmi
Published in:
AINA Workshops (2018)
Keyphrases
</>
authentication scheme
smart card
user authentication
secret key
image encryption
security flaws
security analysis
image authentication
public key
key management
vehicular ad hoc networks
tampering detection
response time
operating system