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

Figure 6

Notations and inference rules of BAN logic.