计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
2期
150-154
,共5页
左开中%潘涛%郭良敏%罗永龙
左開中%潘濤%郭良敏%囉永龍
좌개중%반도%곽량민%라영룡
无线射频识别%群组标签认证%重放攻击%双向验证%独立通信%BAN逻辑
無線射頻識彆%群組標籤認證%重放攻擊%雙嚮驗證%獨立通信%BAN邏輯
무선사빈식별%군조표첨인증%중방공격%쌍향험증%독립통신%BAN라집
现有的无线射频识别群组标签认证协议无法抵御阅读器重放攻击,且可靠性低.为此,提出一种改进的认证协议.其中,对标签和阅读器的身份进行双向合法性验证,每个标签与阅读器独立通信,标签之间无需信息传递,由此提高协议安全性,使其可以抵御重放攻击.基于BAN逻辑的形式化分析结果验证了该协议的正确性和安全性.
現有的無線射頻識彆群組標籤認證協議無法牴禦閱讀器重放攻擊,且可靠性低.為此,提齣一種改進的認證協議.其中,對標籤和閱讀器的身份進行雙嚮閤法性驗證,每箇標籤與閱讀器獨立通信,標籤之間無需信息傳遞,由此提高協議安全性,使其可以牴禦重放攻擊.基于BAN邏輯的形式化分析結果驗證瞭該協議的正確性和安全性.
현유적무선사빈식별군조표첨인증협의무법저어열독기중방공격,차가고성저.위차,제출일충개진적인증협의.기중,대표첨화열독기적신빈진행쌍향합법성험증,매개표첨여열독기독립통신,표첨지간무수신식전체,유차제고협의안전성,사기가이저어중방공격.기우BAN라집적형식화분석결과험증료해협의적정학성화안전성.
