Time-Enabled and Verifiable Secure Search for Blockchain-Empowered Electronic Health Record Sharing in IoT

Algorithm 2

Token generation TokenGen.

	Input: keyword with two secret keys and , version information ,
	Output: token , proof
(1)	Set the keyword search authorization time and compute
(2)	For each , compute
(3)	For each , compute and
(4)	Compute ,
(5)	Return ,