计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
8期
9-14
,共6页
无线射频识别%安全协议%随机数%BAN逻辑%同步更新
無線射頻識彆%安全協議%隨機數%BAN邏輯%同步更新
무선사빈식별%안전협의%수궤수%BAN라집%동보경신
Radio Frequency Identification(RFID)%security protocol%random number%BAN logic%synchronous update
针对无线射频识别(RFID)应用的安全问题,提出一种基于随机数同步更新的RFID安全协议.利用RFID后端系统生成的随机数实现标签认证,每次认证完成后对标签和随机数做同步更新.从理论上分析协议的执行性能和安全性,并利用BAN逻辑对协议的安全性进行形式化证明.结果表明,该协议能够实现标签和阅读器之间的相互认证,同时可抵抗重放、位置跟踪、流量分析、伪装、拒绝服务、非法读取等攻击.在实现上该协议仅使用哈希和异或运算,降低了标签的计算复杂性,适合低成本标签应用.
針對無線射頻識彆(RFID)應用的安全問題,提齣一種基于隨機數同步更新的RFID安全協議.利用RFID後耑繫統生成的隨機數實現標籤認證,每次認證完成後對標籤和隨機數做同步更新.從理論上分析協議的執行性能和安全性,併利用BAN邏輯對協議的安全性進行形式化證明.結果錶明,該協議能夠實現標籤和閱讀器之間的相互認證,同時可牴抗重放、位置跟蹤、流量分析、偽裝、拒絕服務、非法讀取等攻擊.在實現上該協議僅使用哈希和異或運算,降低瞭標籤的計算複雜性,適閤低成本標籤應用.
침대무선사빈식별(RFID)응용적안전문제,제출일충기우수궤수동보경신적RFID안전협의.이용RFID후단계통생성적수궤수실현표첨인증,매차인증완성후대표첨화수궤수주동보경신.종이론상분석협의적집행성능화안전성,병이용BAN라집대협의적안전성진행형식화증명.결과표명,해협의능구실현표첨화열독기지간적상호인증,동시가저항중방、위치근종、류량분석、위장、거절복무、비법독취등공격.재실현상해협의부사용합희화이혹운산,강저료표첨적계산복잡성,괄합저성본표첨응용.
