低成本RFID协议的设计及BAN形式化分析

来源 :宝鸡文理学院学报:自然科学版 | 被引量 : 0次 | 上传用户:yilvQINGFENG
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目的 通过分析现有的典型RFID认证协议的效率与成本,针对数字化图书馆RFID认证协议的高成本问题,提出一个低成本的RFID认证协议.方法 通过去掉标签中的随机数模块,然后利用阅读器存储能力强、存储随机数模块来确保发出消息的新鲜性.结果 该低成本RFID认证协议仅使用一对提前预约好的密钥对,降低了标签的硬件成本和计算能力.结论 通过BAN形式化分析,该协议达到了预期的安全协议的认证目标,非常适合于低成本的RFID系统.
其他文献
目的从自然和人文方面分析宝鸡市乡镇地名表现的地理环境特征、宝鸡市地名命名规律和蕴含的文化内涵,同时分析在时空分布上的不均衡性。方法借助Arc-GIS10.2核密度分析工具,
目的研究变时滞的非自治递归神经网络的有界性和全局指数稳定性。方法利用广义的Halanay不等式和Lyapunov泛函方法。结果给出了保证变时滞非自治递归神经网络的全局指数稳定
目的了解宝鸡市不同小麦品种的抗逆性,筛选该区适合种植的小麦品种。方法选取11个冬小麦品种的种子为研究对象,以丙二醛(MDA)含量、过氧化物酶(POD)活性和超氧化物歧化酶(SOD)活性为
目的揭示宝鸡市近几十年城市化过程对土地利用变化的影响程度。方法以西部中型城市宝鸡市为例,对该区的1991、2002及2014年Landsat卫星影像进行解译分类,提取土地利用类型面积比、土地利用动态度、城市化综合发展水平等指标,对宝鸡市的土地利用变化进行了定量分析,探讨了城市化水平与土地利用变化的关系。结果研究表明,1991-2014年宝鸡市耕地面积减少,但减幅减小,从1991-2002年的28.