Mobile RFID security protocol and its GNY logic analysis. (Chinese. English summary) Zbl 1180.94034
Summary: Nowadays, Radio Frequency IDentification (RFID) security protocols based on Hash function have poor mobility and cannot satisfy the requirements of some fields. Aiming to boost up the mobility of RFID security protocols, a Mobile RFID Security Protocol is presented and GNY logic is used to prove its correctness. Analysis shows that presented protocol has satisfied mobility and security, and the protocol can be used in transmitting freight and field operation of war time, etc.
MSC:
94A12 | Signal theory (characterization, reconstruction, filtering, etc.) |
93E10 | Estimation and detection in stochastic control theory |
68M12 | Network protocols |