Enhancing Transaction Security for Handling Accountability in Electronic Health Records

Table 3

Notations of BAN logic [27].

Symbol	Definition
P, Q, R	Principals (parties)
X, Y	Statements
K	Encryption keys
P believes X	P believes X or is entitled to believe X
P sees X	P can read and repeat the message containing X
P said X	P has said X (P believes X)
P controls X	P has jurisdiction over X
Fresh (X)	Formula X is fresh
	Public key
	Private key
	Formula X is encrypted by the public key
	Formula X is encrypted by the private key
(X)K	The hash value of X using K as a key