邓强东
- 作品数：4 被引量：2H指数：1
- 供职机构：华南师范大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Molnar协议的安全性证明
- 2011年
- Molnar协议是射频识别(RFID)系统中读写器与标签之间的双边认证协议,同时强调能够保护标签的位置隐私,而协议安全性尚未得到形式化的分析和证明。在eHa模型下,严格地证明了Molnar协议具有不可预测的强隐私性,并得到确切的安全界。协议的证明使用了基于Game的方法,将协议的隐私性紧致地归约到伪随机函数的输出与随机函数的输出多项式时间不可区分的假设上,对分析和解决RFID系统安全性问题有效而通用。
- 邓强东王立斌
- 关键词：射频识别可证明安全
- Rhee协议的安全性证明
- 2012年
- 在Juels模型下,证明Rhee协议具有不可区分的强隐私性,并得到确切的安全界。协议的证明使用基于Game的方法和Shoup引理确定相邻Game之间可区分的概率上界,由于概率上界是可忽略的,因此将协议的不可区分的隐私性归约到随机预言机存在的假设上。该证明技术能够用于分析和解决无线射频识别系统安全性问题。
- 邓强东王立斌
- 关键词：无线射频识别可证明安全随机预言机
- RFID认证协议的隐私性保护
- 无线射频识别(Radio Frequency Identification,RFID)是一种应用无线电波来自动识别单个物体对象技术的总称。利用它可以在远距离、恶劣环境下对集群目标和移动目标进行快速信息采集和自动识别。目前...
- 邓强东
- 关键词：无线射频识别隐私性可证明安全
- 一种高效可证明安全的RFID认证协议被引量：2
- 2012年
- 为了保护RFID系统的安全性与隐私性,大量的RFID认证协议相继被提出,然而现有大部分低成本的RFID认证协议都不具有隐私安全性.事实证明仅仅基于某种假想给出安全性论断的RFID协议是不安全的.协议的设计必须进行形式化的分析和证明.提出一种新的RFID协议,能够有效地减低后台数据库的复杂度,且在遭到去同步化攻击时能够自动恢复.协议的分析使用了基于Game的方法,将协议的隐私性紧致地归约到随机预言机的假设上,证明了其具有不可区分的隐私性.上述工作保证了协议的高效性和可用性,并将成为未来分析和解决RFID系统隐私性问题的通用方案.
- 邓强东王立斌
- 关键词：RFID隐私性可证明安全
