{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:39:17Z","timestamp":1725745157352},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405969"},{"type":"electronic","value":"9783642405976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40597-6_13","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T10:00:13Z","timestamp":1376474413000},"page":"153-163","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Replay Attacks on Authentication in RFID Protocols"],"prefix":"10.1007","author":[{"given":"Noureddine","family":"Chikouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Foudil","family":"Cherif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Benmohammed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D. Basin","year":"2005","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A symbolic model checker for security protocols. International Journal of Information Security\u00a04(3), 181\u2013208 (2005)","journal-title":"International Journal of Information Security"},{"key":"13_CR2","series-title":"LNCS","first-page":"166","volume-title":"FOSAD 2007\/2008\/2009","author":"S. Modersheim","year":"2009","unstructured":"Modersheim, S., Vigano, L.: The open-source Fixed-point model checker for symbolic analysis of security protocols. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) FOSAD 2007\/2008\/2009. LNCS, vol.\u00a05705, pp. 166\u2013194. Springer, Heidelberg (2009)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11805618_21","volume-title":"Term Rewriting and Applications","author":"M. Turuani","year":"2006","unstructured":"Turuani, M.: The CL-Atse Protocol Analyser. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 277\u2013286. Springer, Heidelberg (2006)"},{"key":"13_CR4","unstructured":"HLPSL Tutorial: A Beginner\u2019s Guide to Modelling and Analysing Internet Security Protocols (2005), \n                    \n                      http:\/\/www.avispa-project.org\/"},{"key":"#cr-split#-13_CR5.1","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S.: Algebraic Properties in Alice and Bob Notation. In: Proceedings of Ares 2009, pp. 433-440. IEEE Xplore (2009)","DOI":"10.1109\/ARES.2009.95"},{"key":"#cr-split#-13_CR5.2","unstructured":"Extended version: Technical Report RZ3709, IBM Zurich Research Lab (2008)"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a0IT-29(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"13_CR7","unstructured":"Lee, S., Asano, T., Kim, K.: RFID mutual authentication scheme based on synchronized secret information. In: Symposium on Cryptography and Information Security (2006)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Chien, H.-Y., Huang, C.-W.: A lightweight RFID Protocol Using Substring. In: Embedded Ubiquitous Computing (EUC), pp. 422\u2013431 (2007)","DOI":"10.1007\/978-3-540-77092-3_37"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Liu, Y.: An Efficient RFID Authentication Protocol for Low-Cost Tags. In: Proceedings of IEEE\/IFIP International Conference on Embedded and Ubiquitous Computing, Shanghai, China, pp. 706\u2013711 (2008)","DOI":"10.1109\/EUC.2008.135"},{"key":"13_CR10","first-page":"449","volume-title":"Proc. of CCCM 2008","author":"C. Qingling","year":"2008","unstructured":"Qingling, C., Yiju, Z., Yonghua, W.: A minimalist mutual authentication protocol for RFID system & BAN logic analysis. In: Proc. of CCCM 2008, pp. 449\u2013453. IEEE Computer Society, Los Alamitos (2008)"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MITP.2011.17","volume":"3","author":"C.-H. Wei","year":"2011","unstructured":"Wei, C.-H., Hwang, M.-S., Chin, A.-Y.: A Mutual Authentication Protocol for RFID. IT Professional\u00a03, 20\u201324 (2011)","journal-title":"IT Professional"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-03944-7_4","volume-title":"Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks","author":"T. Deursen van","year":"2009","unstructured":"van Deursen, T., Radomirovi\u0107, S.: Algebraic Attacks on RFID Protocols. In: Markowitch, O., Bilas, A., Hoepman, J.-H., Mitchell, C.J., Quisquater, J.-J. (eds.) WISTP 2009. LNCS, vol.\u00a05746, pp. 38\u201351. Springer, Heidelberg (2009)"},{"issue":"1","key":"13_CR13","first-page":"95","volume":"9","author":"T. Cao","year":"2009","unstructured":"Cao, T., Shen, P.: Cryptanalysis of Two RFID Authentication Protocols. International Journal of Network Security\u00a09(1), 95\u2013100 (2009)","journal-title":"International Journal of Network Security"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5121\/iju.2012.3101","volume":"3","author":"H. Jannati","year":"2012","unstructured":"Jannati, H., Falahati, A.: Cryptanalysis and Enhanced of Two Low Cost RFID Authentication protocols. International Journal of UbiComp\u00a03(1), 1\u20139 (2012)","journal-title":"International Journal of UbiComp"},{"key":"13_CR15","unstructured":"van Deursen, T., Radomirovic, S.: Attacks on RFID Protocols. Report 2008\/310, Cryptology ePrint Archive (2008)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-10373-5_6","volume-title":"Formal Methods and Software Engineering","author":"X. Chen","year":"2009","unstructured":"Chen, X., van Deursen, T., Pang, J.: Improving Automatic Verification of Security Protocols with XOR. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 107\u2013126. Springer, Heidelberg (2009)"},{"key":"13_CR17","unstructured":"Mihailescu, M.I.: Resreach on Solutions for Preventing Algebraic Attacks Against Biometric and RFID Protocols. ACTA Universitatis Apulensis (Special Issue), 371\u2013386 (2011)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Chikouche, N., Cherif, F., Benmohammed, M.: Vulnerabilities of two Recently RFID Authentication Protocols. In: International Conference on Complex Systems, Agadir, Morocco (2012)","DOI":"10.1109\/ICoCS.2012.6458584"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Hancke, G.P.: Practical Attacks on Proximity Identification Systems. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 328\u2013333 (May 2006) (short paper)","DOI":"10.1109\/SP.2006.30"}],"container-title":["Communications in Computer and Information Science","Advances in Security of Information and Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40597-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T15:44:39Z","timestamp":1558021479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40597-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405969","9783642405976"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40597-6_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}