Constant-Size Credential-Based Packet Forwarding Verification in SDN

Algorithm 1

: Controller anomaly localization.

	Input: count[i], 1 i L-1
	Output: anomaly link or true.
(1)	for (i = 1; i < L; i++) {
(2)	if (count[i] > count[i+1]) {
(3)	if ()
(4)	continue;
(5)	if () {
(6)	is abnormal link.
(7)	break;
(8)	}
(9)	} endif
(10)	}endfor