EPC网络中一种可证明安全的ONS查询方案  

New Provably Secure ONS Enquiry Scheme in EPC Network

作　　者：郭卫锋[1] 李景峰[1] 张来顺[1] 

机构地区：[1]信息工程大学电子技术学院,郑州450004

出　　处：《小型微型计算机系统》2013年第7期1620-1624,共5页Journal of Chinese Computer Systems

基　　金：河南省科技攻关重点项目(092101210504)资助

摘　　要：分析了EPC网络中ONS查询过程,指出现有过程在身份认证、消息机密性和完整性等方面存在安全缺陷.提出了一种可证明安全的ONS查询方案,引入对称密码和消息认证码等技术,实现ONS服务器之间的双向认证和安全密钥分发,从而有效保护ONS服务器之间消息传递的机密性和完整性.利用安全协议形式化分析工具Canetti-Krawczyk模型进行了安全性分析,分析表明该方案是可证明安全的.同时,性能对比分析表明该方案具有较低的通信开销和计算量,减少了安全机制对性能造成的影响.The ONS enquiry scheme in the EPC network is analyzed.It is demonstrated that the current scheme is failed to achieve mutual authentication,data confidentiality and message integrity.Inducing the symmetric cipher and the message authentication code,an improved provably secure ONS enquiry scheme is proposed,w hich can implement mutual authentication and secure key exchange betw een the ONS servers.The security of the new scheme is analyzed w ith the Canetti-Kraw czyk model.Security analysis show s that the new scheme is provably secure and could achieve the security requirements.Furthermore,the improved scheme has efficient computation and communication cost.

关 键 词：EPC网络 RFID ONS CANETTI-KRAWCZYK模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]