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

Algorithm 4

public class Key = ExpressionValue

   public int Type;

   public int ID;

   public Location Loc;