维姆图恩西;Cuppens Boulahia，诺拉;油炸纸杯;华金·加西亚-阿法罗 EPC Gen2 RFID系统密钥建立协议的正式验证：正在进行中。 （英语） Zbl 1303.68055号 Garcia-Alfaro，Joaquin（编辑）等人，《安全基础与实践》。2011年5月12日至13日，法国巴黎，第四届加拿大-法国MITACS研讨会，FPS 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-27900-3/pbk）。计算机科学课堂讲稿6888，242-251（2012）。 概述：EPC Class-1 Generation-2（简称Gen2）是一种标准射频识别（RFID）技术，在零售业中占据了突出地位。然而，Gen2标准缺乏可验证的安全功能。例如，窃听攻击可能会影响基于Gen2技术的监控应用程序的安全性。我们正在制定一项旨在解决这一问题的关键建立协议。该协议在初始识别阶段和可能需要安全性的其他操作（如密码保护操作）中应用。我们使用高级协议规范语言（HLPSL）指定协议。然后，我们使用AVISPA模型检测工具验证了协议的保密性。我们报告的结果表明，当前版本的协议保证了在被动对手存在的情况下敏感数据的保密性。关于整个系列，请参见[Zbl 1233.94003号]. MSC公司： 68第25页 数据加密（计算机科学方面） 94A60型 密码学 软件：OFMC公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Tounsi}等人，Lect。注释计算。科学。6888、242--251（2012；Zbl 1303.68055） 全文： 内政部 哈尔