共 61 条
[2]
[Anonymous], 2019, AUTONOMOUS VEHICLES
[3]
[Anonymous], 2018, Autonomous Vehicles: The Race is On
[4]
Bécsi T, 2015, 2015 INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), P477, DOI 10.1109/MTITS.2015.7223297
[6]
An efficient cryptographic protocol verifier based on prolog rules
[J].
14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS,
2001,
:82-96
[8]
Driverless vehicle security: Challenges and future research opportunities
[J].
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE,
2020, 108
:1092-1111
[9]
Dodis Y, 2004, LECT NOTES COMPUT SC, V3027, P523
[10]
dos Santos E, 2016, IEEE VEHIC NETW CONF