Research Article

A RFID Authentication Protocol for Epidemic Prevention and Epidemic Emergency Management Systems

Table 3

The assumptions used for RAPUS + protocol under the GNY logic.

Ti {IDTi}Reader {Ri}Database Server {Sj}

T| ≡ #(Nt)Ri | ≡ #(Nr)Sj | ≡ #(AIDTi) (ri)
T| ≡ SjriRi | ≡ SjriSj | ≡ RiNr
T| ≡ RiNrRi | ≡ TNtSj | ≡ TNt