检索结果-南通市图书馆

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

LoRaWAN安全机制的研究

LoRaWAN安全机制的研究

作者：裴倩华内蒙古大学

学位级别：硕士

LoRa技术的低功耗、低成本和广域覆盖等特点使其成为物联网大规模部署的理想选择。但由于其带宽较小和数据速率较低等局限性,LoRa无线网络在数据链路层安全方面存在挑战。随着LoRa应用的不断推广,对LoRa的MAC(Media Access Control)层协... 详细信息

LoRa技术的低功耗、低成本和广域覆盖等特点使其成为物联网大规模部署的理想选择。但由于其带宽较小和数据速率较低等局限性,LoRa无线网络在数据链路层安全方面存在挑战。随着LoRa应用的不断推广,对LoRa的MAC(Media Access Control)层协议LoRaWAN的安全机制也提出了更高的要求。较之LoRaWAN v1.0,LoRaWAN v1.1引入了确认和重传机制,提高了数据传输的可靠性,但在密钥更新问题上仍存在安全隐患。同时,当前的LoRaWAN协议仅支持终端节点和服务器之间的通信,设备间的直接通信可以实现更加灵活和高效的通信。为此,本文针对密钥更新问题设计了两种根密钥更新方案,针对设备到设备(Device to Device,D2D)的安全通信,提出了一种终端间密钥协商协议,具体研究内容如下:首先针对LoRaWAN缺乏根密钥更新机制这一问题,本文设计了两种方案。第一种方案依照LoRaWAN协议的终端入网方式,在各实体间安全地交换随机数后,通过简单位运算对两个根密钥进行了更新。该方案在更新根密钥的同时考虑了终端设备和应用服务器间端到端的安全性。经计算,终端设备和网络服务器端总的通信开销为99 bytes。设计符合LoRaWAN协议规范。第二种方案是在LoRaWANv1.1提到的重传机制类型0,1,2的基础上,提出了类型3的重传机制,终端设备(End Devices,ED)和网络服务器(Network Server,NS)可以利用类型3的重传机制协商出新的根密钥。该方案是对原有协议的扩展,在保证安全性的同时比第一种方案具有更低的通信开销,终端设备与网络服务器端总的通信开销为58 bytes,与方案一相比,总的通信开销减少了41 bytes。之后,本文研究了LoRaWAN网络中终端间的安全通信,提出了一种终端间密钥协商协议。该协议默认相关的LoRaWAN终端已成功接入网络。在LoRaWAN终端和网络服务器(NS)之间,双向认证和数据加密使用共享的网络会话密钥进行,网络参数和认证密钥由NS分配给LoRaWAN终端,而切比雪夫多项式DH密钥交换算法则用于生成两个终端之间的独立通信密钥。经分析,该协议在密钥协商过程中,计算开销约为135ms,通信开销为168 bytes,并且具有较高安全性,能够满足LoRaWAN需求。本文对设计的协议均采用了ban逻辑进行形式化分析,使用Scyther工具进行安全验证,结果表明它们均能够达到安全目标,且计算成本和通信开销都符合LoRaWAN规范。

关键词： LoRaWAN 根密钥更新 ban逻辑 Scyther工具密钥协商

基于区块链的多所有者RFID认证和所有权转移协议研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于区块链的多所有者RFID认证和所有权转移协议研究

作者：李丽西安电子科技大学

学位级别：硕士

RFID(Radio Frequency IDentification)是一种无需物理接触即可实现对指定实体自动识别的技术,它通过射频信号与附着在实体上的RFID芯片建立连接,并从中获得有关的数据信息,在物流、交通运输、医疗设备管理等多个领域得到了广泛的应用... 详细信息

RFID(Radio Frequency IDentification)是一种无需物理接触即可实现对指定实体自动识别的技术,它通过射频信号与附着在实体上的RFID芯片建立连接,并从中获得有关的数据信息,在物流、交通运输、医疗设备管理等多个领域得到了广泛的应用。但是在RFID系统中标签和阅读器采用无线的方式进行会话,很容易遭遇各种非法的攻击,例如追踪、截获、信息泄露、欺骗等,而且在一些应用中标签的所有者可能不止一个,安全性更为复杂,必须研究有效的安全和隐私保护技术。另外考虑到传统的RFID系统后端数据库部署和维护成本高,基于云的后端数据库又存在信任问题,本文主要研究基于区块链实现后端数据库的RFID系统。区块链具有去中心化、存储数据无法改写以及可追溯历史数据等特点,具有更高的安全性,但依然存在安全和隐私问题需要解决。同时,随着货品的流通,标签的所有权会发生转移,这个过程中需要确保原所有者和新所有者的隐私不被泄露。另外标签的硬件资源有限,又要满足低成本要求,这又使得传统复杂的密码技术很难直接应用。针对这些问题,本文对基于区块链的多所有者RFID认证和所有权转移协议进行了研究,取得的成果如下:首先,提出了一种基于区块链的多所有者RFID认证协议。该协议通过Shamir门限方案来实现标签密钥的恢复与所有者子密钥的分发,并通过区块链中的智能合约与全同态加密相结合的方式解决了密钥管理时所导致的标签计算量较大的问题,以及RFID数据隐私问题,实现了标签和多个阅读器之间的双向认证。分别通过非形式化方法和基于ban逻辑的形式化分析方法对协议的安全性进行了分析,同时对该协议中标签计算量、通信量等性能进行了分析,并与国内外同类协议进行了对比,结果表明该协议是安全的和有效的。其次,提出了一种基于区块链的多所有者RFID标签所有权转移协议。该协议中标签只需与新所有者实现相互认证,且在区块链中实现所有者子密钥的更新,无需其他标签所有者参与通信,同时,利用轻量级的密码算法对会话消息进行加密,可以在保障RFID数据隐私的前提下减少标签的计算量和协议的通信次数。对协议前/后向安全性、不可跟踪性和双向认证等特性进行了非形式化分析,并利用ban逻辑和AVISPA工具对协议安全性进行了证明和验证,结果表明协议是安全的。与同类协议对比,该协议在标签计算量、协议的通信次数等性能方面都有明显优势。

关键词： RFID认证所有权转移区块链 ban逻辑

基于区块链的轻量级RFID认证与标签所有权转移协议研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于区块链的轻量级RFID认证与标签所有权转移协议研究

作者：高文鑫西安电子科技大学

学位级别：硕士

无线射频识别是一种不需要物理接触只需通过无线射频通信的方式即可实现对指定实体进行自动识别的技术,它是物联网的核心技术之一,被广泛应用在社会生活中的各个领域。由于RFID系统是以无线方式进行通信,所以不可避免的会受到各种攻击,... 详细信息

无线射频识别是一种不需要物理接触只需通过无线射频通信的方式即可实现对指定实体进行自动识别的技术,它是物联网的核心技术之一,被广泛应用在社会生活中的各个领域。由于RFID系统是以无线方式进行通信,所以不可避免的会受到各种攻击,因此RFID系统的安全性问题成为人们关注和研究的重点。在RFID系统中不仅要求后台服务器要安全可靠,而且标签、阅读器和后台服务器之间的通信也要实现安全和隐私保护。当前人们提出了大量的RFID系统安全和隐私保护方案,其中基于密码学安全机制是研究的重点方向,其安全性高、实现灵活、且适合大规模部署。但由于标签的硬件资源有限,又要满足低成本要求,而密码算法又具有一定的复杂性,使得当前的大部分方案均不能满足实际需求,需要继续深入研究。另一方面,后台数据库作为整个RFID系统的数据中心,不仅安全性和可靠性要求高,而且部署和维护的成本也很高,虽然人们通过租用云数据库的方式可以解决这些问题,但会面临来自云服务提供商的威胁,安全和隐私的实现也十分复杂。因此本文将重点研究基于区块链的RFID系统的安全防护问题。区块链具有分布式、去中心化、集体维护、无法改写等优势,将其作为后端数据库可以有效地解决基于云的RFID系统存在的问题,而且具有更好的安全性。本文工作取得的成果如下:首先针对基于区块链的RFID系统的认证问题,提出一种基于区块链的轻量级RFID认证协议,并给出了区块链上RFID数据的存储、查询、更新,以及隐私保护等问题的实现方案。本协议使用轻量级哈希算法设计,实现了标签与阅读器间的双向认证,以及标签密钥的更新。对方案的非形式化分析和基于ban逻辑的形式化分析表明该协议是安全的,也能够抵抗去同步、Do S等各种非法攻击。其次,在认证协议的基础上,提出了一种基于区块链的轻量级RFID标签所有权转移协议。RFID标签在流通过程中其所有权将随着所属者的改变而发生转移,并且包含标签信息的数据也要随之转移。一次完整的所有权转移要进行一次标签内容信息从区块链服务器中的下载解密,以及加密上传工作。在进行连续多次所有权转移时,这种模式就会因为区块链的不可篡改特性而带来繁琐重复的数据处理问题和重复存储问题,既影响系统效率也会带来安全性问题。为此本协议引入代理重加密技术,使服务器作为代理者实现标签内容信息的密文转换,并在多次所有权转移的过程中存储多个转换密钥,可实现多次重加密一次解密便可得到标签数据。基于ban逻辑对协议进行了形式化分析,并使用AVISPA仿真工具对该协议的安全性进行了验证,最后与同类型协议进行了对比,结果表明协议是安全的和有效的,同时也能够满足低成本要求。

关键词： RFID 区块链所有权转移 ban逻辑代理重加密

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种改进的认证逻辑

电子学报 1998年第7期26卷 175-177页

作者：田建波徐胜波王育民 710071 西安电子科技大学ISN国家重点实验室!西安

本文在ban逻辑的基础上，提出了一种适用于公钥密码认证系统的逻辑，这是一种共享的方案，并举例说明了其应用．

关键词：密码 ban逻辑认证协议

Needham-Schroeder私钥协议的改进

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机工程 2006年第17期32卷 32-34页

作者：缪祥华何大可西南交通大学计算机与通信工程学院成都610031 西南交通大学信息安全与国家计算网格实验室成都610031

研究了Needham-Schroeder私钥协议,指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,但是仍然不令人满... 详细信息

研究了Needham-Schroeder私钥协议,指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,但是仍然不令人满意。针对原始协议存在的缺陷和漏洞,该文进行了相应的修改,并用ban逻辑来分析了修改后的协议,说明修改后的协议能够达到协议的目标。

关键词：协议分析 ban逻辑 Needham-Schroeder私钥协议

在线全文

学校读者我要写书评

暂无评论

无线宽带固定接入系统的安全性分析

计算机工程 2004年第6期30卷 14-15,33页

作者：傅坚北京邮电大学信息工程学院北京100876

无线宽带固定接入系统提供了一种高速、灵活的接入方式，文章介绍了802.16标准的认证机制，利用ban逻辑进行了安全性分析。针对协议分析的结果，提出了基于基站证书的协议的改进。

关键词：无线接入安全认证 ban逻辑

在线全文

学校读者我要写书评

暂无评论

可信计算授权协议分析与改进

哈尔滨工业大学学报 2012年第3期44卷 119-122页

作者：池亚平李志鹏魏占祯方勇北京电子科技学院通信工程系北京100070 西安电子科技大学通信工程学院西安710071

针对TCG授权协议OIAP和OSAP的安全缺陷、功能重叠等问题,提出了一种新的可信计算授权协议(OICAP).该协议通过引入Diffie-Hellman密钥交换算法产生的会话密钥保证其机密性,适用于多个实体,能够抗重放攻击,保证了通信数据的完整性和机密性... 详细信息

针对TCG授权协议OIAP和OSAP的安全缺陷、功能重叠等问题,提出了一种新的可信计算授权协议(OICAP).该协议通过引入Diffie-Hellman密钥交换算法产生的会话密钥保证其机密性,适用于多个实体,能够抗重放攻击,保证了通信数据的完整性和机密性.通过对新授权协议进行ban逻辑分析,表明该协议能够达到预期效果.

关键词：可信计算授权协议 DH算法重放攻击 ban逻辑

在线全文

学校读者我要写书评

暂无评论

适用于智能电表双向互动系统的安全通信协议

电力系统自动化 2016年第17期40卷 93-98页

作者：赵兵翟峰李涛永李保丰付义伦岑炜中国电力科学研究院北京市100192

根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用ban逻辑形式化分析方法和非形式化分析方法验证了其性能。... 详细信息

根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用ban逻辑形式化分析方法和非形式化分析方法验证了其性能。BIMP在达到预期目标的同时具有安全保密性、抗攻击性、通信效率较高等特点,能够满足智能电表双向互动系统实际业务应用需求。

关键词：智能电表双向互动安全通信协议 ban逻辑非形式化分析

无TTP带权重的多所有者RFID标签认证协议

在线全文

学校读者我要写书评

暂无评论

西安电子科技大学学报 2021年第1期48卷 133-140,159页

作者：范美月董庆宽王蕾杨灿西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

针对多所有者对标签的认证问题,提出了一种无可信第三方带权重的多所有者射频识别标签认证协议。协议采用Shamir秘密共享门限方案来管理密钥,采用基于哈希函数产生的密钥流对消息进行加密,既实现了所有阅读器对标签的认证,也实现了标签... 详细信息

针对多所有者对标签的认证问题,提出了一种无可信第三方带权重的多所有者射频识别标签认证协议。协议采用Shamir秘密共享门限方案来管理密钥,采用基于哈希函数产生的密钥流对消息进行加密,既实现了所有阅读器对标签的认证,也实现了标签对所有阅读器的认证。本协议中无须可信第三方参与,且能实现密钥更新和抵抗去同步攻击,相比于同类协议更为简洁高效。通过ban逻辑的形式化分析证明了该协议满足双向认证。安全性分析表明,该协议满足抗重放攻击、抗去同步攻击、前向安全性、不可追踪性、机密性以及抗拒绝服务攻击等安全特性。

关键词：射频识别多所有者射频识别认证秘密共享 ban逻辑