Fig. 12From: Securing communication by attribute-based authentication in HetNet used for medical applicationsIntruder simulation of case 2 in AVISPA using CL-AtSeBack to article page