一种支持密钥协商的标签所有权转换协议

针对标签在流通过程中的安全通信和所有权安全转换问题,提出了一种能提供密钥协商功能的标签所有权转换协议。通过将该协议分为认证与密钥协商和所有权转换与异常恢复两个阶段来实现相应的功能。采用GNY逻辑对协议的安全性进行了分析,结果表明该协议能够提供标签与所有者之间的双向认证和会话密钥协商,将标签的所有权安全地转换给新所有者,并能抵御中间人攻击、重放攻击和去同步化攻击等多种攻击手段。在Linux系统中实现了该协议,获取了标签计算耗时等运行指标。实验数据表明,标签的计算耗时较短,适用于低成本标签。     

基于射频指纹的射频识别认证协议改进

通过研究对融合物理层硬件信息与应用层协议的射频指纹（Radio Frequency Frgerprints,RFF）进行射频识别（Radio Frequency Identification,RFID）认证问题,发现射频指纹RFID认证协议中存在的安全缺陷,对其进行改进．改进协议在融合RFID标签射频指纹的基础上进行挑战与应答．并进行RFID标签检测、存储与声称射频指纹的比对．性能分析与BAN逻辑形式化证明的结果表明,改进协议克服了原有缺陷,具有对抗有关RFID标签克隆攻击的能力．实现了RFID系统的高强度认证．     

射频识别LMAP协议改进研究

安全问题是射频识别技术领域的重要问题,轻量级安全协议成为该技术领域研究的主流.针对轻量级相互认证协议易受克隆攻击、去同步攻击等安全隐患问题,在对原有协议分析的基础上提出了系列改进措施,即通过对原有协议增加时间戳机制、物理不可克隆函数(physical unclonable function,PUF)电路以及改进密钥的生成方式来提高协议的安全性,并利用BAN逻辑对改进协议的安全性进行形式化证明.从安全性、计算量和存储量等方面将改进协议与其他协议进行比较,结果表明,协议安全性高,计算量小,也适合标签的存储量,在射频识别领域安全方面具有一定的应用价值.     

RFID标签所有权转移协议的设计及分析

针对物联网环境下,嵌有RFID标签的商品在交易过程中会涉及到的RFID标签所有权转移的安全隐私问题,设计一个适合商品交易双方使用的RFID标签所有权转移方案。与相关方案比较表明,该方案在所有权转移的完全性和标签信息传输的安全性方面具有一定的优势,保证了交易双方的合法权益,安全地实现了标签所有权的转移。     

基于编码分组的无线射频识别多标签防碰撞方法

针对无线射频识别(radio frequency identification,RFID)系统的多标签碰撞问题,在分析RFID标签编码规则的基础上,提出根据标签编码规则进行标签分组和标签预淘汰的方法,在读写器识别的初始阶段根据特定的规则淘汰部分标签,从而减少系统工作量,提高系统工作效率.实例证明:在不增加标签结构复杂度的基础上,充分利用已有的有效信息能够有效减少阅读器的查询次数和系统的总通信量.     

无线射频识别技术的应用及发展研究

无线射频识别是一种自动化识别技术,目前已经有广泛的应用,并且发展前景广阔。本文简要介绍无线射频识别技术,分析了无线射频识别技术的应用前景,阐述了无线射频识别技术发展中存在的主要问题和解决的关键。     

面向有限目标集的无冲突无线射频识别技术

为了解决多目标识别问题,提出了一种基于频分多址、面向有限目标集的无冲突无线射频识别(RFID)技术,并通过了模拟实验的验证.结果表明,所构建的RFID系统具有无冲突、识别速度快、灵敏度高等优点,适用于电子物品监视、幼儿园管理等目标集大小有限的应用领域.     

面向物流跟踪的无线射频识别复杂事件处理方法

针对RFID(Radio Frequency Identification)技术在物流跟踪和追溯应用的需求,研究了基于XML（Extensible Markup Language）元素的RFID语义事件描述,按照业务类型对RFID事件分类和元素定义,通过缓存优先级排队规则处理并发RFID复杂事件.提出了实现RFID事件与企业资源计划系统业务单据的集成框架,对不同企业资源计划系统的业务单据进行XML解析和统一对象转换,将RFID复杂事件用于业务流程的实时控制和报警提示,实现了产品物流信息的实时跟踪和追溯查询.     

可证明安全的射频识别双向认证协议

由于射频识别系统中读写器和标签是在不安全的无线信道中进行通信,而且随着移动读写终端的出现,使得读写器和服务器通信也不安全,容易受到假冒攻击、窃听攻击、中间人攻击等安全威胁,针对此问题提出了基于中国剩余定理的射频识别双向认证协议。该协议利用对称加密、模运算等方式提高信息传输的安全性,引入时间戳来抵抗中间人攻击,并利用中国剩余定理对各方进行认证,最后采用随机更新密钥的方式进行密钥更新,并通过形式化证明的方法和常规攻击分析的方式来验证协议安全性。将该协议与其他协议进行安全性、计算量和存储量的比较,结果表明:文中协议安全性高、计算量小且存储量适中,在射频识别领域安全方面具有一定的应用价值。     

基于ECC的轻量级射频识别安全认证协议

针对基于椭圆曲线密码体制(ECC)的射频识别安全认证协议无法抵制服务器假冒攻击的的问题,对认证过程进行改进,设置用于实现标签对服务器认证的环节,提出基于ECC的轻量级射频识别安全认证协议.改进后的方案满足抗服务器假冒攻击、抗标签假冒攻击等各项射频识别认证协议的安全特性.计算及通信开销分析表明:该协议在提供更高的安全性的同时能很好地应用于资源受限的射频识别认证.     

基于Hash函数的抵御失去同步RFID安全认证协议

针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击、失去同步等安全问题,在能耗、安全与性能方面优于当前其他主流协议.     

A Designated Query Protocol for Serverless Mobile RFID Systems with Reader and Tag Privacy

Recently, a new type of Radio Frequency IDentification (RFID) system with mobile readers is introduced. In such a system, it is more desirable for mobile readers to identify tags without a back-end server, and thus it is frequently referred as a serverless mobile RFID system. In this paper, we formalize a serverless mobile RFID system model and propose a new encryption-based system that preserves the privacy of both tags and readers in the model. In addition, we define a new adversary model for the system model and show the security of the proposed system. Throughout comparisons between ours and the other alternatives, we show that our proposed system provides a stronger reader privacy and robustness against a reader forgery attack than the competitors.     

水泥稳定旧矿渣冷再生强度试验研究

文章重点总结了水泥稳定旧矿渣冷再生的强度与水泥剂量关系及应用.     

相转移催化丁烯水合制仲丁醇工艺研究

结合计算机模拟，实验筛选出适合丁烯水合反应的相转移催化剂（PTC）．进行了工艺研究，考查了在PTC存在下，各主要操作参数对丁烯水合反应的影响，确定了聚乙二醇类的PTC-05为适合该反应体系的最佳PTC．研究表明，PTC-05的加入在较高的温度和水烯比、较低的空速及适量百分比下，可以显著提高丁烯水合的单程转化率，同时对相转移催化反应动力学及机理进行了初步研究．     

“三权分置”背景下农户土地流转意愿及其影响因素分析——来自山东平度的经验证据

以"三权分置"为背景,从"个体认知"和"参与体验"两方面建立分析框架,并在对山东省平度市11个村镇430户农户调研的基础上,运用多值Logit随机效用回归模型对农户转入转出土地的流转意愿及其影响因素进行分析,分析结果表明:农户土地流转意愿受到风险预期、政策认知、个体特征和家庭特征的显著影响,因此,要建立健全严格的农地流转监管机制,完善农村社会保障机制,加大政府补贴的力度和宣传力度,充分尊重农户的意愿,不断提高农户土地流转的意愿。     

云南省低龄老年人力资源开发和利用探析——基于人口老龄化的背景

目前,我国社会正面对未富先老的严峻挑战,探索低龄老年人力资源的开发已成为应对老龄化问题的新途径。在论述低龄老年人力资源开发的可行性和必要性的基础上,提出了构建老年人力资源开发的思想基础、加大对低龄老年人力资源的投入、改革退休制度和实施弹性工作时间、积极开展老年人社区服务活动以及构建低龄老年人力资源开发的运行机制等措施。     

变温平板绕流换热的一个数学解

本文给出了在平板壁温不为常数,绕流壁面的横向速度也不为零和Pr数是变量时的一个数学解。平板壁温Tw正比于x~m(m为正整数)。     

竖向荷载作用下变角斜柱的局部转换节点

通过2个不同角度的斜柱局部转换节点在竖向荷载作用下的静力试验以及有限元分析,获得了斜柱角度变化对该节点受力性能影响的基本规律.研究结果表明,斜柱角度的不同会导致转换梁和短肢剪力墙的应力分布有明显不同,斜柱角度越大,转换梁所受的拉力就越大,转换梁开裂就越早,结构承载力越低.相反,斜柱角度越小,短肢剪力墙内的应力分布要均匀些,转换梁开裂较晚,可以有效地抑制转换梁刚度的退化,结构承载力也越高.而且,从受力性能上来说,整个节点具有类似桁架模型的受力特征.