检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机科学》2016年第4期160-162,172,共4页Computer Science
基 金:广东省自然科学基金重点项目(S2012020011071);广东省教育部产学研合作项目(2013B040401017);广州市科技计划项目(2013J4300058)资助
摘 要:针对射频识别系统存在的安全问题和成本问题,提出了一种低成本超轻量级RFID双向认证协议。采用BAN逻辑形式化证明方法对协议进行了形式化证明,并进行了安全性分析,结果表明本协议能够有效抵抗拒绝服务攻击、去同步化攻击、假冒攻击等多种恶意攻击,具有安全性较好、成本低和需要的运算与存储资源少等优点。Aiming at the security problems and tag's cost problems of RFID,a low-cost uttrangntwetgnt RFID mutual-authentication protocol was proposed, and this protocol was proved to be safe by BAN logic formal analysis method. Be- sides, security analysis shows that the protocol possesses robust security and can defend against malicious attacks such as disclosure attack, desynehronization attacks, impersonation attack, etc. It has advantages of better security, low cost and less consumption resource of computing and storage.
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145