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

Algorithm 5

public class KnowledgeSet = ExpressionValue

   public SortedList <MessageUnit, Object> list;