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

Table 6

Comparisons of model analysis.

Formal model	[27]	[23]	[28]	[29]	[30]	[10]	[15]	[1]	Ours
BAN	×	×	×	×	×	×	×	×	×
GNY	×	×	×	×	×	√	×	×	√
AVI	√	×	×	×	×	×	×	×	√
ProVerif	×	×	×	×	×	√	×	×	×