Untraceable security proof for RFID authentication protocol

被引：0

作者：

Zhai, Jingxuan ^{[1
]}

Cao, Tianjie ^{[1
]}

Chen, Xiuqing ^{[2
]}

机构：

[1] School of Computer Science and Technology, China University of Mining and Technology, Xuzhou

[2] School of Medicine Information, Xuzhou Medical College, Xuzhou

来源：

Journal of Computational Information Systems | 2015年 / 11卷 / 09期

关键词：

RFID authentication protocol; Security proof; Traceability attack; Untraceable;

D O I：

10.12733/jcis14045

中图分类号：

学科分类号：

摘要：

Nowadays Radio Frequency Identification (RFID) authentication protocols have developed untraceable security proof to solve the security and privacy issues. We not only analyze the advantage of the enhancement of a one-way hash based low-cost authentication protocol (EMAP), but also present a new provably untraceable protocol that is based on the original EMAP protocol. Subsequently, to verify the untraceability property of the revised protocol, we modify a formal model under a stated assumption and an untraceability definition. With this extension, we apply the enhanced formal proof model to prove that the proposed protocol is untraceable. ©, 2015, Binary Information Press. All right reserved.

引用

页码：3121 / 3129

页数：8

共 10 条

[1]

Zhou J., Zhou Y., Xiao F., Niu X., Mutual authentication protocol for mobile RFID systems, Journal of Computational Information Systems, 8, pp. 3261-3268, (2012)

[2]

Safkhani M., Bagheri N., Peris-Lopez P., Mitrokotsa A., On the traceability of tags in SUAP RFID authentication protocols, RFID-Technologies and Applications (RFID-TA), 2012 IEEE International Conference on RFID-Technologies and Applications, pp. 292-296, (2012)

[3]

Ahmadian Z., Salmasizadeh M., Aref M.R., Desynchronization attack on RAPP ultra-lightweight authentication protocol, Information Processing Letters, 113, pp. 205-209, (2013)

[4]

Lowe G., Casper: A compiler for the analysis of security protocols, Journal of Computer Security, 6, pp. 53-84, (1998)

[5]

Garcia F.D., Hasuo I., Pieters W., van Rossum P., Provable anonymity, Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering, pp. 63-72, (2005)

[6]

Abadi M., Cortier V., Deciding knowledge in security protocols under equational theories, Theoretical Computer Science, 367, pp. 2-32, (2006)

[7]

Arapinis M., Chothia T., Ritter E., Ryan M., Analysing unlinkability and anonymity using the applied pi calculus, Computer Security Foundations Symposium (CSF), 2010 23rd IEEE, pp. 107-121, (2010)

[8]

Bruso M., Chatzikokolakis K., den Hartog J., Formal verification of privacy for RFID systems, Computer Security Foundations Symposium (CSF), 2010 23rd IEEE, pp. 75-88, (2010)

[9]

Ma C., Li Y., Deng R.H., Li T., RFID privacy: Relation between two notions, minimal condition, and efficient construction, Proceedings of the 16th ACM Conference on Computer and Communications Security, pp. 54-65, (2009)

[10]

van Deursen T., Mauw S., Radomirovic S., Untraceability of RFID protocols, Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks, pp. 1-15, (2008)

← 1 →