A Traceable Blockchain-Based Vaccination Record Storage and Sharing System

Table 2

Common notations are used in the BAN logic.

P X	P believes X
P X	P sees X
P X	P said X
P X	P controls X
	X is fresh
	P and X share the key K
	K is the public key of P
	P and Q share the secret X