| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 物联网环境下UC安全的组证明RFID协议 |
| 作者 | 张忠 徐秋亮 |
| 作者单位 | (山东大学计算机科学与技术学院 济南 250061) |
| 发表年份 | 2011 |
| 发表月份 | 7期(1188—1194) |
| 文章摘要 | 摘要 物联网的安全和隐私保护问题是制约其进一步发展的关键性问题，如何设计一个安全、高效的组证明RFID协议是物联网安全需要重点研究的一个问题.首先，文中对物联网环境下组证明RFID协议的交互模型和攻击模型做了分析和描述.然后，在通用可组合安全框架下，形式化定义了理想功能FVS和RFID组证明理想功能FGP.最后，在FVS-混合模型下，设计了组证明RFID协议πGP，并证明对于任意的攻击者而言, 协议πGP能安全实现理想功能FGP.根据组合定理表明新的组证明RFID协议具有通用可组合安全性. 关键词 物联网；RFID；组证明；通用可组合协议 中图法分类号 TP309 DOI号: 10.3724/SP.J.1016.2011.01188 |