论文部分内容阅读
针对射频识别系统存在的安全问题和成本问题,提出了一种低成本超轻量级RFID双向认证协议。采用BAN逻辑形式化证明方法对协议进行了形式化证明,并进行了安全性分析,结果表明本协议能够有效抵抗拒绝服务攻击、去同步化攻击、假冒攻击等多种恶意攻击,具有安全性较好、成本低和需要的运算与存储资源少等优点。
一种低成本超轻量级RFID双向认证协议
【摘 要】
：
针对射频识别系统存在的安全问题和成本问题,提出了一种低成本超轻量级RFID双向认证协议。采用BAN逻辑形式化证明方法对协议进行了形式化证明,并进行了安全性分析,结果表明本
【机 构】
：
广东工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2016年4期
【基金项目】
：
广东省自然科学基金重点项目（S2012020011071）,广东省教育部产学研合作项目（2013B040401017）,广州市科技计划项目（2013J4300058）资助.
其他文献
和平行光照射遮光物体产生的实边缘相比,全反射现象中半明半暗视场的分界线处的虚边缘情况更为复杂。使虚边缘质量有明显下降的主要因素有3个:光的色散、高频噪声和CCD光敏元处于临界状态所带来的问题。使用基于图像处理的测量方法,采用CCD作为成像器件,获取虚边缘附近的灰度图像。应用改进后的基于一阶微分期望值的亚像素边缘检测算法,可以快速、精确地检测到边缘的位置。经过实验验证,该方法的测量精度优于1个像素,
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足.针对以上问题,提出了一种fibrations方法以对共归
可扩展的访问控制标记语言（eXtensible Access Control Markup Language,XACML）逐渐成为访问控制的标准之一。为了确保系统可用性,访问控制系统需要高效的XACML策略评估引擎。
针对国产地下无轨采矿设备液压系统故障率高,而其检测和故障诊断手段落后的背景,提出了一种基于嵌入式系统的液压状态监测与智能故障诊断模型,该故障诊断模型通过设置在液压
社会主义百万富翁问题（SMP）即是保密地比较数据是否相等的问题,其解决方案可以作为很多应用系统的基础协议。首先,提出一种对保密数据进行编码的新方案。然后,基于该编码方案和