检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《小型微型计算机系统》2015年第4期732-738,共7页Journal of Chinese Computer Systems
基 金:国家自然科学基金项目(61250007)资助
摘 要:针对物联网发展的新形势提出一个新型的双向认证协议.有别于传统的RFID认证协议,通过基于零知识证明的认证方法来认证成员身份,并将参与主体的身份安全规约到其自身身份密钥的安全性上.解决了传统的基于加密算法的认证协议中主体的身份安全依赖于所有参与实体信息安全的问题.新协议能够满足一个标签在多个互联的RFID系统中应用时的认证安全.本文给出新协议的详细描述,并且用基于串空间模型的形式化证明方法证明了协议至少满足认证性、秘密性和标签不可追踪性的要求.According to the development of the Internet of Things, the paper put forward a new kind of RFID mutual authentication protocol. This is different from the traditional based on the encryption algorithm processing authentication information authentication protocol, the new protocol used of the authentication method of zero-knowledge proof to member certification, and make the member anthentication's security is equal to its own code of identity's security. The new protocol solves the problem about member's certified safety depends on information security of all members who participate in the traditional authentication protocol. New protocol can satis- fy a tag's security authentication when it is applied to multiple RFID system. This paper discusses the new protocol's detailed descrip- tion and using the Strand Space Model to prove the protocol at least meet the authentication, secrecy and tag untraceability.
关 键 词:身份识别 零知识证明 信息安全 认证协议 形式化证明
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145