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