计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
11期
35-37,42
,共4页
射频识别%认证协议%BAN逻辑%超轻量级%交叉
射頻識彆%認證協議%BAN邏輯%超輕量級%交扠
사빈식별%인증협의%BAN라집%초경량급%교차
RFID%Authentication protocol%BAN logic%Ultra-lightweight%Crossover
针对射频识别系统存在的安全隐患、标签成本较高等问题,提出了一种基于交叉位运算的超轻量级RFID认证协议(CURAP),并基于BAN逻辑形式化分析方法,证明了该协议的正确性与安全性.CURAP定义了交叉位运算,包含异或及左循环移位运算,且协议运行中,数据更新运算只在读写器中进行,而标签从传输消息中进行简单的异或运算提取即可.安全分析与性能评估表明,CURAP不但具有较强的双向认证性,能够抵抗多种攻击,而且可以有效降低标签的计算需求、存储空间,适用于低成本的RFID系统.
針對射頻識彆繫統存在的安全隱患、標籤成本較高等問題,提齣瞭一種基于交扠位運算的超輕量級RFID認證協議(CURAP),併基于BAN邏輯形式化分析方法,證明瞭該協議的正確性與安全性.CURAP定義瞭交扠位運算,包含異或及左循環移位運算,且協議運行中,數據更新運算隻在讀寫器中進行,而標籤從傳輸消息中進行簡單的異或運算提取即可.安全分析與性能評估錶明,CURAP不但具有較彊的雙嚮認證性,能夠牴抗多種攻擊,而且可以有效降低標籤的計算需求、存儲空間,適用于低成本的RFID繫統.
침대사빈식별계통존재적안전은환、표첨성본교고등문제,제출료일충기우교차위운산적초경량급RFID인증협의(CURAP),병기우BAN라집형식화분석방법,증명료해협의적정학성여안전성.CURAP정의료교차위운산,포함이혹급좌순배이위운산,차협의운행중,수거경신운산지재독사기중진행,이표첨종전수소식중진행간단적이혹운산제취즉가.안전분석여성능평고표명,CURAP불단구유교강적쌍향인증성,능구저항다충공격,이차가이유효강저표첨적계산수구、존저공간,괄용우저성본적RFID계통.
