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

• 作者: 张忠 徐秋亮
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 物联网 RFID 组证明 通用可组合协议
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 《物联网关键理论与技术》专题
• 页码范围: 1188-1194
• 分类号: TP309
• 字数: 7199字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.01188

摘要

物联网的安全和隐私保护问题是制约其进一步发展的关键性问题,如何设计一个安全、高效的组证明RFID协议是物联网安全需要重点研究的一个问题.首先,文中对物联网环境下组证明RFID协议的交互模型和攻击模型做了分析和描述.然后,在通用可组合安全框架下,形式化定义了理想功能FvS和RFID组证明理想功能FGP.最后,在Fvs-混合模型下,设计了组证明RFID协议πGp,并证明对于任意的攻击者而言,协议πGP,能安全实现理想功能FGP.根据组合定理表明新的组证明RFID协议具有通用可组合安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐秋亮	山东大学计算机科学与技术学院	96	895	14.0	27.0
2	张忠	山东大学计算机科学与技术学院	9	68	3.0	8.0