An Authentication Protocol for Implantable Medical Devices