移动型RFID安全协议及其GNY逻辑分析  

Mobile RFID security protocol and its GNY logic analysis

作　　者：王新锋[1] 刘建国[2] 蒋旭 刘胜利 

机构地区：[1]军械工程学院计算机工程系 [2]军械工程学院管理工程系 [3]63880部队

出　　处：《计算机应用》2008年第9期2239-2241,共3页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60372042)

摘　　要：针对现有基于Hash函数无线射频识别(RFID)安全协议移动性差、不能满足某些应用领域需求的不足,提出一种移动型RFID安全协议,并利用GNY逻辑进行了证明。分析表明,移动型RFID安全协议移动性强,具备一定的安全性,适用于民用物流运输途中、军事应用中在运资产、战时野战环境等对读写器移动性要求高的领域。Nowadays, Radio Frequency IDentification （RFID） security protocols based on Hash function have poor mobility and cannot satisfy the requirements of some fields. Aiming to boost up the mobility of RFID security protocols, a Mobile RFID Security Protocol was presented and GNY logic was used to prove its correctness. Analysis shows that presented protocol has satisfied mobility and security, and the protocol can be used in transmitting freight and field operation of war time, etc.

关 键 词：无线射频识别 安全协议 GNY逻辑 

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