物联网环境下UC安全的组证明RFID协议.pdfVIP

计 学 算 机 报 第 34 卷第7 期 Vo l. 34 No. 7 2011 年 7 月 CHINESE JOURNAL OF CO岛1PUTERS luly 2011 物联网环境下 uc 安全的组证明 RFID 协议 张忠 徐秋亮 (山东太学计算机科学与技术学院济南 250061) 摘 要物联网的安全和l 隐私保护问题是制约兵进一步发展的关键性问题，如何设计一个安全、高效的组证明 RFID 协议是物联网安全需要重点研究的一个问题.首先，文中对物联网环境下组证明 RFID 协议的交互模型和攻 击模型做了分析和描述.然后，在通用可组合安全框架下，形式化定义了理想功能 F 和 RFID 组证明理想功能 vs F • 最后，在 F - 混合模型下，设计了组证明 RFID 协议π-GP 并证明对于任意的攻击者而言，协议 1fGP 能安全实现 vs GP 理想功能 F • 根据组合定理表明新的组证明 RFID 协议具有通用可组合安全性. GP 关键词物联网，RFID，组证明z 通用可组合协议 中回法分类号 TP309 DOI 号: 10. 3724/SP. J. 1016. 201 1. 01188 Universal Composable Grouping-Proof Protocol for RFID Tags in the Internet of Things ZHANG Zhong XU Qiu-Liang (School 01 Comþuter Science Technology .Shandong University. Jinan 25006 1) Abstract Security and privacy block the development of the Internet of Things (lOT). How to design a RFID grouping-proof protocol with security and high efficiency is a key problem in the security of IOT. Firstly , we present an attack model and a interaction model , and give the analy- sis. Then , the ideal functionality Fvs and the grouping-proof ideal functionality FGP are formally defined with the UC framework. Finally , a grouping-proof protocol 1fGP is designed in the Fv s-hy- brid mode l. It is proved that the protocol πGP realizes the ideal functio