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

Algorithm 1

State ciphertext generation StatekeyCipGen.

	Input: a set of file identifiers , keyword , state map
	Output: state ciphertext
(1)	Compute
(2)	Randomly choose and compute
(3)	Retrieve from by , obtain , and then sets , , and
(4)	Compute and , update
(5)	For each , compute
(6)	Randomly choose and compute for each , ,
(7)	Compute and
(8)	Compute
(9)	For , compute and
(10)	Compute
(11)	Return