Reaching Consensus with Byzantine Faulty Controllers in Software-Defined Networks

Algorithm 1

The Vote_SDN function.

vote_SDN Function/ // for each controller

1. Begin

2. if vertex σ is a leaf then --- (1)

3.  output

4. else

5.  if # ---- (2)

6.   output the value of σ

7.  if , where ---- (3)

8.   output

9.  if  ----- (4)

10.   output

11.  if  -----(5)

12.   output ⊥

13. End

#. is the value of vertex . Function is used to find out the majority value in vertex ’s child nodes.