Short Paper: Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics
Paper i proceeding, 2013
authorization protocol
remote diagnostics
connected car.
formal verification
Författare
Pierre Kleberger
Chalmers, Data- och informationsteknik, Nätverk och system
Guilhem Moulin
Chalmers, Data- och informationsteknik, Datavetenskap
IEEE Vehicular Networking Conference, VNC
21579857 (ISSN) 21579865 (eISSN)
202-205978-1-4799-2687-9 (ISBN)
Styrkeområden
Transport
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1109/VNC.2013.6737613
ISBN
978-1-4799-2687-9