(1) P_root.send(DIO_root);
(2) P_C.send(Data);
(3)   P_root.receive(Data);
(4)    P_C.send(DIO_C);
(5)     P_A.send(DIO_A);
(6)      P_C.send(Data);
(7)       P_A.receive(Data){
(8)        setverdict(pass);
(9)        }
Algorithm 1: The building process of DODAG.