On Broadcast Encryption for Secure Software Delivery to Automobiles