Secure Firmware Updates over the Air in Intelligent Vehicles
On the security of public key protocols