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

Table 1

List of notations.

Notation	Definition
	Cyclic additive group
	Cyclic multiplicative group
	Prime order of and
	Generator of
	Bilinear pairing:
	Hash functions:
	Hash function:
	Hash function:
	Master key of the system
	Public key of the system
	Domain serial number
	Index value in the domain
	Identity of the switch
	Registration timestamp of the switch
	Partial private key of the switch
	Public key of the switch
	Address of the switch
	tag value of flow
	Forwarding rules in the domain
	Forwarding transaction published by the switch
	Output address in
	Individual signature generated by the switch
	Aggregate signature generated by the controller
	Message concatenation operation