Table 3.

Symbols of MIStore

Symbol	Description
g	The generator of a cyclic group $\mathbb{G}$
e	The bilinear map, e: $\mathbb{G}\times \mathbb{G}\to \mathbb{G}$
${\mathbb{𝔽}}_p$	The finite field with character p
I D H	The hospital’s ID
S r i	The i-th servers’ IDs
I D I	The insurance company’s ID
$I{D}_{T_i}$	The transaction Ti’s ID
I D P	The patient’s ID
VK	The verification key
{pkH, skH}	The hospital’s key pair
{pki, ski}	The i-th server’s key pair, for i from 1 to n
{pkI, skI}	The insurance company’s key pair
d i	The i-th plaintext message protected by n servers
{CFi,1, CFi,2, Chi}	The i-th server’s core-share
R e s p i	The i-th server’s respnse