[Retracted] Renovated XTEA Encoder Architecture-Based Lightweight Mutual Authentication Protocol for RFID and Green Wireless Sensor Network Applications
Table 2
Notions and descriptions used for BAN logic analysis.
Notions
Explanations
or
are the principal that refers to a sender or receiver. For instance, the tag or the reader
believes the statement
sees the statement
The formula is fresh
once said the statement
Either formula or is one section of formula
has control over statement
is integrated with formula
Shared key is used for communication between and . will be known only to these two entities
NKEY
This denotes the new key generated for further updating and processing