(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.