From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT

Algorithm 8

enum ;

#define RadiusCU 5;

#define Radius 3;

var<Location> lCU_1 = new Location (0, 0);

var<Location> lCU_2 = new Location (0, 1);

var<Location> lE = new Location (0, 6);