Short Paper: Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics
Paper in proceeding, 2013
authorization protocol
remote diagnostics
connected car.
formal verification
Author
Pierre Kleberger
Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)
Guilhem Moulin
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
IEEE Vehicular Networking Conference, VNC
21579857 (ISSN) 21579865 (eISSN)
202-205978-1-4799-2687-9 (ISBN)
Areas of Advance
Transport
Subject Categories
Computer and Information Science
DOI
10.1109/VNC.2013.6737613
ISBN
978-1-4799-2687-9