论文部分内容阅读
针对射频识别系统存在的安全问题和成本问题,提出了一种低成本超轻量级RFID双向认证协议。采用BAN逻辑形式化证明方法对协议进行了形式化证明,并进行了安全性分析,结果表明本协议能够有效抵抗拒绝服务攻击、去同步化攻击、假冒攻击等多种恶意攻击,具有安全性较好、成本低和需要的运算与存储资源少等优点。
一种低成本超轻量级RFID双向认证协议
【摘 要】
：
针对射频识别系统存在的安全问题和成本问题,提出了一种低成本超轻量级RFID双向认证协议。采用BAN逻辑形式化证明方法对协议进行了形式化证明,并进行了安全性分析,结果表明本
【机 构】
：
广东工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2016年4期
【基金项目】
：
广东省自然科学基金重点项目（S2012020011071）,广东省教育部产学研合作项目（2013B040401017）,广州市科技计划项目（2013J4300058）资助.
其他文献
和平行光照射遮光物体产生的实边缘相比,全反射现象中半明半暗视场的分界线处的虚边缘情况更为复杂。使虚边缘质量有明显下降的主要因素有3个:光的色散、高频噪声和CCD光敏元处于临界状态所带来的问题。使用基于图像处理的测量方法,采用CCD作为成像器件,获取虚边缘附近的灰度图像。应用改进后的基于一阶微分期望值的亚像素边缘检测算法,可以快速、精确地检测到边缘的位置。经过实验验证,该方法的测量精度优于1个像素,
分析铜箔表面质量缺陷对电力变压器电气性能的影响,研究采用机器视觉系统对铜箔表面质量缺陷监视的关键技术。研制了铜箔表面质量缺陷监视装置,它可及时发现缺陷并报警,给出缺陷的性质、位置、数目和大小等信息。对箔绕机上的铜箔试验表明该方法有效可行,能监测铜箔表面的毛刺、划痕及小孔等质量缺陷。
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足.针对以上问题,提出了一种fibrations方法以对共归
可扩展的访问控制标记语言（eXtensible Access Control Markup Language,XACML）逐渐成为访问控制的标准之一。为了确保系统可用性,访问控制系统需要高效的XACML策略评估引擎。
针对国产地下无轨采矿设备液压系统故障率高,而其检测和故障诊断手段落后的背景,提出了一种基于嵌入式系统的液压状态监测与智能故障诊断模型,该故障诊断模型通过设置在液压
本刊讯：2005年4月——工程师和科学家们可以使用最新的USB标准_USB2．0，以高达8MB／s(64Mb／s)的速度控制GPIB仪器。M仪器控制产品系列涵盖了PCIExpress、以太网、PCI、USB、PCMCIA和
随着语音识别技术的发展,资源稀缺语言的语音识别系统的研究吸引了更广泛的关注。以蒙语为目标识别语言,研究了在资源稀缺的情况下（如仅有10小时的带标注的语音）如何利用其他多
针对医学图像中通常伴有噪声、多目标的问题,传统水平集无法将图像中的多目标完全分割出来,提出了基于抑制式模糊聚类算法的改进型双水平集模型。首先,利用聚类算法对医学图像进行预分割降噪,通过标准化互信息准则(NMI)判断聚类是否达到满意效果,进而改良聚类算法,再由增加惩罚项的改进型双水平集进行二次分割。实验结果表明,该方法能够降低图像的噪声和算法的敏感性,水平集无需重新初始化,大大减少了计算量和迭代次数
社会主义百万富翁问题（SMP）即是保密地比较数据是否相等的问题,其解决方案可以作为很多应用系统的基础协议。首先,提出一种对保密数据进行编码的新方案。然后,基于该编码方案和