Security Mechanism Based on Hospital Authentication Server for Secure Application of Implantable Medical Devices

Figure 7

Formal verification for correctness of the proposed protocol.