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| ≡ Sj ⇒ ri | Ri | ≡ Sj ⇒ ri | Sj | ≡ Ri ⇒ Nr | T| ≡ Ri ⇒ Nr | Ri | ≡ T ⇒ Nt | Sj | ≡ T ⇒ Nt |
|
|