BlockREV: Blockchain-Enabled Multi-Controller Rule Enforcement Verification in SDN

Algorithm 2

Verification of the order of switches in .

	Input:: forwarding transaction published by ;
	: public key of ;
	: output address in ;
	: ;
	: or ;
	: hash value of ;
	Output: valid, invalid;
(1)	traces back all about published by switches in ;
(2)	;
(3)	for each do
(4)	if and then
(5)	;
(6)	;
(7)	end if
(8)	end for
(9)	ifthen
(10)	return valid
(11)	else
(12)	return invalid
(13)	end if