Algorithm 4 EID_Register

Input    EID registration information: Flag, UID/RID, EID, RLOC, K

Output    Registration result

1.  result = false;

2.  UI/RI = getState(UID/RID);

3.  if (UI/RI == null || UI/RI.K ! = K){

4.     return result;}

5.  MI = [UID/RID, EID, RLOC, Flag];

6.  putState(EID, MI);

7.  return true;