导读:本文包含了安全协议设计论文开题报告文献综述及选题提纲参考文献，主要关键词:智能锁,指纹,近距离无线通信,身份认证
安全协议设计论文文献综述
汪生,金志刚,解冰珊[1]（2019）在《融合指纹识别的NFC智能锁安全协议设计》一文中研究指出针对现有智能锁的身份认证安全性薄弱等问题,设计了通过加密NFC信道传输并融合指纹识别的用户认证机制。首先,建立了BLE信道的安全分析平台,根据ofo开锁过程分析了无线智能锁的通信机制的弱点,截取的BLE通信数据表明,关键的鉴权与开锁指令等信息未加密;然后,通过重放鉴权信息揭示了代表性的安全威胁;最后,为了实现基于真实身份的认证,基于指纹特征,提出了轻量级的安全机制,并通过CPN分析该机制接入攻击下的安全性。模型分析与仿真实验表明,新协议通过NFC进行信息交互和指纹识别保证用户身份,提供了安全性与使用的方便性。(本文来源于《计算机应用》期刊2019年S1期）
左黎明,周庆,陈兰兰,夏萍萍[2]（2019）在《基于安全协议的智能灌溉系统设计》一文中研究指出针对现有智能灌溉系统中数据交互的安全问题,设计了一种基于安全协议的智能灌溉系统.智能灌溉系统以此安全协议为核心,并设计身份认证模块、签名模块、签名验证模块,实现了安全协议.最后对智能灌溉系统进行实验与仿真,实验结果表明基于安全协议的智能灌溉系统运行效率高,在智能灌溉装置计算能力和传输能力较弱的情况下具有良好的适用性和安全性.(本文来源于《河南师范大学学报(自然科学版)》期刊2019年01期）
张甲,段海新,陆超逸[3]（2018）在《互联网安全协议的设计与演进》一文中研究指出在互联网短短几十年的历史上,各种新技术、新产品的发展日新月异。只要涉及互联网接入或互联互通,必然涉及到协议标准的制定和更新,安全协议和安全通信产品更是如此。本文将回顾部分网络安全协议的历史发展过程,从开放式系统互联参考模型(OSI/RM)、IPSEC、DNSSEC,直到目前广为使用的TLS以及正在积极探索的加密DNS协议等安全通信协议,总结这些协议发展成功的经验与失败的教训,希望对互联网安全协议的研究、相关通信标准的制定提供一些参考。(本文来源于《2018中国信息通信大会论文摘要集》期刊2018-12-14）
杨建喜,张悦,池亚平,许萍[4]（2018）在《基于物理不可克隆函数的小区重选安全协议设计》一文中研究指出小区重选算法是决定终端能否持续获得良好服务的关键技术,设计一种增强小区重选算法安全性的协议,使用户的信号质量和通信安全同时得到保障至关重要。为此,基于物理不可克隆函数提出一种小区重选算法安全协议,达到仅经过叁轮交互即完成认证的目的。以同频小区重选为例描述协议的具体过程,并通过GNY逻辑进行形式化分析,证明其能实现用户设备和基站的双向认证,同时可抵抗克隆攻击、重放攻击和中间人等攻击,具有较好的安全性和保密性。(本文来源于《计算机工程》期刊2018年11期）
李梦君,潘国腾,欧国东[5]（2018）在《基于Event-B方法的安全协议设计、建模与验证》一文中研究指出随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证.(本文来源于《软件学报》期刊2018年11期）
韩正士,秦贵和,赵睿,刘毅,梁云龙[6]（2018）在《车载FlexRay总线安全协议的设计与实现》一文中研究指出针对智能车、网联车的高速发展所引发的车载信息安全问题设计了车载FlexRay总线安全协议。该协议包含两个模块:节点身份认证模块和网络安全加密模块。节点身份认证模块采用密钥交换算法以及非对称加密算法保证连入总线节点身份的合法性;网络安全加密模块采用对称加密算法以及哈希算法保证总线传输数据的机密性、真实性和新鲜性。与其他协议相比,该协议既能够提供节点的身份认证,又能在不影响总线实时通信的基础上保护总线的信息安全。实验结果表明,该协议能够在满足实时通信的基础上为汽车提供从启动到运行全方位的信息安全防护,提升了车载FlexRay总线的信息安全防护级别。(本文来源于《西安交通大学学报》期刊2018年12期）
徐微,闫淑霞,张晨光,丁丽娅,郭华[7]（2018）在《《网络安全协议IPSec》教学设计》一文中研究指出网络安全协议就是在协议中采用了若干密码算法——加密技术、认证技术,以保证信息安全交换网络协议。目前被广泛使用的TCP/IP协议在最初设计时是基于一种可信网络环境来考虑设计的,没有考虑安全性问题。现实情况是互联网和Web容易受到攻击,因此安全Web服务应运而生,即建立在TCP/IP基础之上的Internet的安全架构需要补充安全协议来实现。本文以《网络安全协议IPSec》一节内容为例,研究发现式教学法、类比学习法在《网络安全技术》课程中的应用,培养学生应用知识进行分析解决网络安全相关的实际问题的能力。(本文来源于《考试周刊》期刊2018年70期）
沈超鹏,刘洋,李婧,康健,张羲格[8]（2018）在《网络安全协议TLS1.0密钥生成算法的FPGA设计与实现》一文中研究指出TLS协议正在广泛地应用于网络传输层的数据加密和通信安全之中,目前服务器端仍缺乏适应高吞吐率数据加密及安全处理能力的设计。本文基于FPGA器件设计和实现了高性能的TLS1.0协议密钥生成算法,该算法以hmac_md5算法和hmac_sha1算法为核心生成加密主密钥和密钥块。在Quartus II 13.0下采用Altera的Stratix V系列5SGSMD8N2F45I2型号FPGA综合,TLS1.0协议密钥生成算法的时钟频率能够达到175.2MHz,吞吐率达到了6.1Kop/s,占用6222ALMs。(本文来源于《第六届中国指挥控制大会论文集（下册）》期刊2018-07-02）
Anyembe,Andrew,Omala[9]（2018）在《无线体域网中的安全协议设计与分析》一文中研究指出无线体域网(Wireless body area network-WBAN)提供了一种向医疗服务提供商实时传输人体生理数据的机制。作为物联网(Internet of Things-Io T)生态系统的组成部分,WBAN是一个在医疗管理系统中提供无处不在服务的智能对象。服务提供商可以随时随地远程监控生理参数,例如ECG、血压、糖水平、呼吸和活动识别。WBAN技术产生的数据在开放的网络中容易受到未经授权的访问和修改。未经授权的访问会侵犯用户的隐私,而数据被修改可能会导致不可逆的误诊。对于研究人员而言,在异构物联网和资源受限的WBAN中保护这些数据是一项具有挑战性的工作。这些挑战凸显了对计算效率和轻量级安全机制的需求。目前,针对不断发展的物联网基础设施中用于智能对象的密码技术研究,仍在不断研究中。最近提出了一些用于加强WBAN中安全性的方案,这些方案容易受到安全与隐私攻击。同时,因为计算成本高,所以实际中这些方案不能在资源受限的设备上有效实施。为了解决WBAN中的安全问题,本文提出了一些适用于物联网中WBAN的高效轻量级的应用层安全协议。本论文主要工作如下所示:1.我们为WBAN提出了一个高效的远程用户认证方案。该方案基于无证书密码体制,解决了已有方案中存在的安全漏洞问题。与现有的一些方案对比,该方案具有更低的计算和通信成本,同时也提供了一个认证密钥协商协议中的安全要求。2.WBAN和服务提供商之间的安全通信应该同时提供机密性与认证性。为了解决这个问题,设计了一个基于签密的可证明安全的数据传输方案。该方案在同一逻辑步骤中实现了机密性与认证性。在随机预言模型中,我们证明该方案在适应性选择密文攻击下具有不可区分性(IND-CCA2)和在适应性选择消息攻击下具有存在不可伪造性(EUF-CMA)。该方案具有较小的计算开销。3.我们为WBAN设计了一个异构访问控制方案。首先,我们设计了一个异构签密方案。在这个方案中,无证书密码体制环境下的用户能够将查询信息安全的发送给另外一个基于身份密码体制环境下的实体。然后,我们给出了IND-CCA2和EUF-CMA的形式化安全性证明。最后,我们使用这个签密方案为WBAN设计了一种新的访问控制协议。该协议适用于资源受限的设备,比如WBAN。这项研究对促进了WBAN安全整合到互联网中具有重要的意义,这是随时随地获取医疗服务的重要组成部分。(本文来源于《电子科技大学》期刊2018-06-01）
罗振宇[10]（2018）在《基于量子不经意密钥分配的安全协议设计与分析》一文中研究指出伴随着互联网的出现和飞速发展,信息的交互变得愈加频繁,同时信息交互的量也急剧增长。信息的安全性成为了一个亟待解决的问题,如何保证信息的安全性成了一个重要的研究课题,密码学作为保证信息安全的重要手段,自然而然得到了广泛的关注和研究。位置隐私保护是一种在移动终端,无线通信技术和定位技术迅猛发展的情况下产生的关键安全技术,作为一种可以提供用户基于位置的服务(Location-Based Service,LBS)查询,保证用户位置隐私和服务提供商(Service Provider,SP)数据库安全的通信安全手段。盲签名作为一种信息安全技术,可应用于消息拥有者和签名者之间身份认证、消息认证,保护消息的完整性、一致性和保密性,防止交易过程中伪造和抵赖的发生。两者都是现代密码学中不可或缺的部分,但是经典方案的安全性是基于计算困难性的,例如,大整数因数分解问题和离散对数问题,随着计算机计算能力的提高,特别是量子计算机的出现,经典方案的安全性将会受到严重的威胁。量子密码学是由现代密码学与量子力学结合产生的一门新兴交叉学科,其安全性基于量子力学基本原理,建立在量子不可克隆等定理之上,可以保证无条件安全性和窃听可检测性。量子不经意密钥分配(Oblivious Quantum Key Distribution,OQKD)作为量子密码学发展过程中衍生出的重要且基础的安全技术之一,是一种不经意密钥分配方式,不仅可以保护用户方的隐私,防止数据库拥有者在用户查询数据时窃取用户隐私,而且能够保证数据库安全性,防止用户非法盗取数据库信息。本文紧随OQKD的前沿研究成果,结合位置隐私保护和代理盲签名等研究领域,提出两个基于OQKD的安全协议,并对协议进行了详细的安全性证明和效率分析。主要工作成果如下:首先,在六态量子密钥分配技术的启发下,提出了一种基于单光子六态的OQKD,降低了量子态的开销,并结合现有的电子地图基于位置的服务查询需求,提出一个实际可行保护位置隐私的量子k近邻查询协议。用户Alice和服务提供商Bob首先确定一个查询区域,将该区域细分成许许多多查询网格,网格划分的粒度由查询精度确定,然后约定一种编码方式,将查询网格进行编码;Alice和Bob通过OQKD建立不经意密钥,然后Alice利用随机置换矩阵将自己解密的部分密钥和想要查询的区域关联,同时Bob也利用随机置换矩阵对其密钥进行变换,最后Bob利用变换后的密钥加密数据库,Alice利用变换密钥解密获得近邻查询服务。协议具有很高的安全性,因为其安全性是以量子力学的基本原理为基础,而不是传统的计算困难性,特别是本协议将单光子作为量子资源,且只需作投影测量,以现有的技术极易实现。其次,结合现实生活中跨行电子支付的实际需求和OQKD提出了一个高效量子双重有序盲签名协议。消息拥有者计算经典待签名消息的Hash值,并将其编码为量子消息。把编码后的量子消息均分成两部分,分别发送给两个签名方。签名方和消息拥有者利用OQKD建立不经意的共享信息来实现签名。协议不需要制备任何纠缠资源,只需进行单粒子投影测量,在现有技术条件下易于实现。与现有双重盲签名协议相比,提出协议复杂度明显降低,且协议效率显着提高。最后,分析总结了现今已有的OQKD存在的关键性问题,并确定了以后的研究方向和研究目标。(本文来源于《安徽大学》期刊2018-05-01）
安全协议设计论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对现有智能灌溉系统中数据交互的安全问题,设计了一种基于安全协议的智能灌溉系统.智能灌溉系统以此安全协议为核心,并设计身份认证模块、签名模块、签名验证模块,实现了安全协议.最后对智能灌溉系统进行实验与仿真,实验结果表明基于安全协议的智能灌溉系统运行效率高,在智能灌溉装置计算能力和传输能力较弱的情况下具有良好的适用性和安全性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
安全协议设计论文参考文献
[1].汪生,金志刚,解冰珊.融合指纹识别的NFC智能锁安全协议设计[J].计算机应用.2019
[2].左黎明,周庆,陈兰兰,夏萍萍.基于安全协议的智能灌溉系统设计[J].河南师范大学学报(自然科学版).2019
[3].张甲,段海新,陆超逸.互联网安全协议的设计与演进[C].2018中国信息通信大会论文摘要集.2018
[4].杨建喜,张悦,池亚平,许萍.基于物理不可克隆函数的小区重选安全协议设计[J].计算机工程.2018
[5].李梦君,潘国腾,欧国东.基于Event-B方法的安全协议设计、建模与验证[J].软件学报.2018
[6].韩正士,秦贵和,赵睿,刘毅,梁云龙.车载FlexRay总线安全协议的设计与实现[J].西安交通大学学报.2018
[7].徐微,闫淑霞,张晨光,丁丽娅,郭华.《网络安全协议IPSec》教学设计[J].考试周刊.2018
[8].沈超鹏,刘洋,李婧,康健,张羲格.网络安全协议TLS1.0密钥生成算法的FPGA设计与实现[C].第六届中国指挥控制大会论文集（下册）.2018
[9].Anyembe,Andrew,Omala.无线体域网中的安全协议设计与分析[D].电子科技大学.2018
[10].罗振宇.基于量子不经意密钥分配的安全协议设计与分析[D].安徽大学.2018