Research Article

Low-Cost Authentication Protocol for D2D Communication in m-Health with Trust Evaluation

Figure 9

Role of a device in HLPSL language for AVISPA software.