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

Algorithm 3

Verification of the cross-domain forwarding order of switches.

	Input:: forwarding transaction published by ;
	: public key of ;
	: output address in ;
	: ;
	: hash value of ;
	: forwarding path hash value of ;
	Output: valid, invalid;
(1)	traces back all about ;
(2)	;
(3)	if the result of executing Algorithm 2 is “valid” then
(4)	;
(5)	end if
(6)	;
(7)	if the result of executing Algorithm 2 is “valid” then
(8)	;
(9)	end if
(10)	if and then
(11)	return valid
(12)	else
(13)	return invalid
(14)	end if