基于PRF的RFID轻量级认证协议研究

无线射频识别(radio frequency identification,RFID)认证协议可实现读写器和标签之间的身份识别,保证只有合法的读写器才能访问标签的数据.由于标签的成本限制,设计最轻量级的RFID认证协议是面临的主要挑战.为了达到不可预测性隐私,标签至少需要具有伪随机函数PRF的能力.首先提出了一种基于PRF的RFID轻量级认证协议的基本框架,给出了抽象描述.基于对消息认证函数Fi的实例化,提出了一种新的RFID轻量级认证协议ELAP.与现有协议相比,该协议可以实现读写器和标签之间的双向认证,并能抵抗已知的所有攻击方式.在效率方面,标签只需要进行2次消息摘要运算,让标签的计算代价达到了最小.

基于时空视角的区域EES系统协调发展评价研究——以榆林市为例

通过构建EES系统协调发展指标,采用变异系数协调发展模型,以1997—2011年榆林市12个县(区)为研究的时空范围,对其协调发展程度进行测算与评价。研究结果表明:从时间维度上榆林市EES系统协调发展整体态势好转,协调类型的转变速度加快,处于逐步调和阶段,并且与经济发展呈现正相关关系;从空间格局分析,EES系统协调发展县际差异显著,形成中心地带和南北两端三个等级板块,呈现由分散到集中、由核心到边缘的空间格局。基于评价结果,提出调整产业结构,转变经济发展方式等对策。

基于真度理论的α-反向三Ⅰ问题的形式解

在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。