基于伪ID的RFID认证协议及串空间证明

来源 :计算机科学 | 被引量 : 6次 | 上传用户：libra_15

【摘要】

：

安全有效的认证协议是对RFID系统安全的有力保障,适宜的形式化分析方法能为RFID认证协议提供有效的证明。设计了基于伪ID的RFID认证协议,伪ID由标签ID、标签认证数值和随机数产生。标签ID不出现在协议执行过程中,减少了系统遭受攻击的可能性。协议通过标签ID、标签认证值和随机数的Hash运算实现认证。利用串空间模型对协议进行形式化分析,建立认证协议的串空间模型丛图,证明了协议的保密性和匿名性。

【作者】

：

徐扬苑津莎高会生胡晓宇赵振兵

【机构】

：

华北电力大学电气与电子工程学院

【出处】

：

计算机科学

【发表日期】

：

2017年10期

【关键词】

：

认证协议 RFID HASH 串空间 Authent ication protocol RFID Hash Strand space

【基金项目】

：

国家自然科学基金（61401154）资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

覆盖粗糙直觉模糊集模型的研究

粗糙集和直觉模糊集的融合是一个研究热点。在粗糙集、直觉模糊集和覆盖理论基础上,给出了模糊覆盖粗糙隶属度和非隶属度的定义。考虑到元素自身与最小描述元素的隶属度和非

期刊

直觉模糊集粗糙集合模糊覆盖粗糙隶属度直觉模糊集的相似性度量Intuitionistic fuzzy sets Rough sets Fuzzy co

典型安全网关的形式化设计与证明

传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进

期刊

典型安全网关形式化设计BLP模型功能规约一致性验证Isabelle/HOLTypical security gateway Formal desi

一种基于编码关联的快速多模式匹配算法

多模式匹配算法经常使用有限自动状态机来实现多个模式串的并行匹配。针对基于自动状态机的多模式匹配算法在应用于中文编码时存在的存储空间膨胀问题,使用中文字符的拆分编码构造自动状态机,以优化算法自动状态机的存储空间,并利用中文编码的编码关联性,设计了一种基于编码关联跳转的失效跳转表,使用启发式跳跃规则提升匹配算法的时间性能。最后通过实验证明,中文编码环境下,相比于其它使用自动状态机的多模式匹配算法,改良

期刊

多模式匹配DFSA算法WM算法DFSA-QS算法编码关联Multi-pattern matching DFSA algorithm WM algo

Xen混合多策略模型的设计与形式化验证

Xen作为一种虚拟化工具因开源、高效等特点而受到越来越多的关注。作为Xen安全的基础,XSM决定了其安全性。原生XSM没有对系统资源进行安全分级,并且以虚拟机为管理对象使得Do

期刊

SV_HMPMD语义模型形式化证明Isabelle/HOL定理证明SV_HMPMDSemantic modelFormal p ro o fThe

运用变异测试的并行程序测试用例最小化算法

在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素。以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法。首先对并行

期刊

并行程序变异测试测试用例优化测试用例最小化Concurrency program Mutation test Test case prioriti

直觉模糊序决策信息系统的分配约简

在直觉模糊集概念的基础上,通过对直觉模糊数加权的方法建立一种新的序关系。利用传统的序关系和新的序关系分别建立直觉模糊序决策信息系统。然后在定义的分配函数和分配协

期刊

分配约简直觉模糊集序信息系统粗糙集Assignment reductionIntuitionistic fuzzy setOrdered inf

用不可能差分法分析12轮ESF算法

轻量级分组密码算法ESF是一种具有广义Feistel结构的32轮迭代型分组密码,轮函数具有SPN结构,分组长度为64比特,密钥长度为80比特。为了研究ESF算法抵抗不可能差分攻击的能力,

期刊

分组密码不可能差分密码分析ESF轻量级复杂度Block cipherImpossible d if ferent ial cryptanalysis

相容关系下的分割知识约简算法的研究

粗糙集理论是一个能有效地删除冗余特征的工具。由于实际应用的数据往往是连续的,并且结构复杂、特征多,现有的粗糙集知识约简方法对真实复杂的数据计算效率较低。为此,首先将相容关系应用于粗糙集的知识约简,再将复杂的信息表纵向分割成简单的缩减表和小规模信息表,然后把缩减表和小规模信息表连接起来进行知识约简。实例表明,提出的方法能够有效提高粗糙集对复杂数据的计算效率。

期刊

粗糙集理论相容关系复杂数据分割Rough set theory Tolerance relation Complex data Vertical

一种基于交点权重图的指纹焦点检测方法

指纹参考点在指纹注册和识别过程中非常重要,能够有效减少拥有大规模指纹库的自动指纹识别系统的识别时间。指纹焦点是一种很稳定的参考点,而现有检测指纹焦点的方法的精度还有很大提升空间。基于从方向场生成的交点的权重信息,提出了一种精确的指纹焦点检测方法。首先,提出了交点权重图的概念以及从指纹方向场计算该图的方法。在分块方向场上,各个块中经过块中心垂直于块方向的直线两两相交得到一些交点,为每个交点根据对其期

期刊

指纹对齐焦点参考点交点权重Fingerprint alignment Focal point Reference point Cross poin

基于M&S模型的分布式认知无线电网络时间同步机制

针对分布式认知无线电网络(DCRN)中节点时间同步的问题，提出一种基于M&S同步模型的节点协作式时间同步机制。首先，选定的主用户(PU)通过控制信道将其空闲频谱列表广播到邻居节

期刊

分布式认知无线电网络时间同步M&S同步模型节点协作Distributed cognitive radio network TimE synch

基于伪ID的RFID认证协议及串空间证明

与本文相关的学术论文