计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
11期
103-107
,共5页
RFID认证协议%跟踪攻击%不可追踪模型
RFID認證協議%跟蹤攻擊%不可追蹤模型
RFID인증협의%근종공격%불가추종모형
RFID authentication protocols%Traceability attack%Formal model of untraceability
在Ha等提出的基于Hash函数的低成本RFID认证协议中,敌手捕获标签和读卡器之间传送的信息后,就可以实现跟踪攻击.在分析Ha等提出的低成本RFID认证协议的基础上,设计出了效率更高的追踪攻击算法.Ha等提出的低成本RFID认证协议易于遭受追踪攻击,敌手可以从低位到高位,逐个比特位地猜测出合法的标签密钥的比特位,针对这一缺点提出了可以抵抗追踪攻击的改进协议,并用不可追踪模型形式化证明了该协议不可追踪的鲁棒性.
在Ha等提齣的基于Hash函數的低成本RFID認證協議中,敵手捕穫標籤和讀卡器之間傳送的信息後,就可以實現跟蹤攻擊.在分析Ha等提齣的低成本RFID認證協議的基礎上,設計齣瞭效率更高的追蹤攻擊算法.Ha等提齣的低成本RFID認證協議易于遭受追蹤攻擊,敵手可以從低位到高位,逐箇比特位地猜測齣閤法的標籤密鑰的比特位,針對這一缺點提齣瞭可以牴抗追蹤攻擊的改進協議,併用不可追蹤模型形式化證明瞭該協議不可追蹤的魯棒性.
재Ha등제출적기우Hash함수적저성본RFID인증협의중,활수포획표첨화독잡기지간전송적신식후,취가이실현근종공격.재분석Ha등제출적저성본RFID인증협의적기출상,설계출료효솔경고적추종공격산법.Ha등제출적저성본RFID인증협의역우조수추종공격,활수가이종저위도고위,축개비특위지시측출합법적표첨밀약적비특위,침대저일결점제출료가이저항추종공격적개진협의,병용불가추종모형형식화증명료해협의불가추종적로봉성.
