Authentication Protocols for Implantable Medical Devices: Taxonomy, Analysis and Future Directions
A logic of authentication