导读:本文包含了协议验证论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:协议,密钥,模型,子网,身份验证,数据链,方法。
协议验证论文文献综述
[1]（2019）在《罗德与施瓦茨使用R&SCMX500完成5GNR协议一致性测试验证》一文中研究指出近日,罗德与施瓦茨公司使用新的R&SCMX500无线电通信测试仪进行了5G NR协议一致性测试。全球认证论坛GCF在不同的FR1和LTE频段组合中接受了由3GPP定义的41个测试案例。通过将R&S CMX500添加到其现有的LTE测试设置中,经过认证的测试机构、手机和芯片组制造商可以获得从LTE到5GNR测试的平滑升级路径。(本文来源于《信息通信技术与政策》期刊2019年10期）
夏奴奴,杨晋吉,赵淦森,莫晓珊[2]（2019）在《基于概率模型的云辅助的轻量级无证书认证协议的形式化验证》一文中研究指出匿名WBANs通信技术是保护互联网用户和服务器间隐私的最有力手段之一,但匿名WBANs无证书认证协议的形式化验证仍是亟待解决的难题。采用概率模型检测的方法对一种基于云辅助的匿名WBANs的轻量级无证书认证协议建立离散时间马尔科夫链模型,在协议建模的状态迁移中加入了攻击率,重点对攻击率进行定量分析,用概率计算树逻辑对协议属性进行描述,利用PRISM概率模型检验工具对协议进行定量分析和验证,并且与SIP协议进行性能方面的对比。验证结果表明:在匿名WBANs通信环境下,云辅助的轻量级无证书认证协议各实体间所受攻击率对协议的不可否认性、时延性和有效性有不同程度的影响,控制好攻击率可以提高协议安全性,这对医疗服务质量和实时监测效率的提高以及远程医学的基本需求有着极大的意义。(本文来源于《计算机科学》期刊2019年08期）
沙倚天,李天一,贾玮,姚铭艺[3]（2019）在《一种基于树型网络的可验证多方量子密钥分配协议》一文中研究指出借助可信中心的协助,引入用户身份验证和密钥验证机制,提出一种适用于电力通信系统的树型网络可验证多方量子密钥分配协议。利用带密钥的单向hash函数技术同时对每个用户进行身份验证和密钥验证,保证两者可以在同一个步骤中完成。发送者和接收者之间无需进行公开讨论,节省了资源,降低了成本。和其他利用纠缠资源的协议相比,该协议采用单光子作为量子信息载体,且单光子不需要存储,在技术上更容易实现。通过对该协议进行安全性分析,表明该协议在理论上是安全的。(本文来源于《计算机应用与软件》期刊2019年08期）
曲国远,徐晓飞,刘威廷,王沁煜,贺飞[4]（2019）在《基于扩展标记变迁模型的时钟同步协议正确性验证》一文中研究指出时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。(本文来源于《国防科技大学学报》期刊2019年03期）
余飞侠,水泉[5]（2019）在《S模式二次雷达数据链协议分析与功能验证》一文中研究指出S模式二次雷达数据链接口提供链路管理和S模式特定服务,以实现S模式地-空数据通信。文中介绍了数据链接口控制协议的主要内容,并对其进行功能验证。(本文来源于《电脑知识与技术》期刊2019年16期）
曹泰丰[6]（2019）在《基于决策树的带参协议自动化验证方法》一文中研究指出协议广义上指网络协议,协议的功能是用于描述模块间的通讯规则,本文中,协议狭义地指由卫式命令语言(Guarded Command Language)描述的协议程序。带参协议是参数化后的协议,是协议的推广形式。带参协议应用广泛,如互斥协议、缓存一致性协议、网络安全通信协议等都属于带参协议。带参协议验证是对带参协议逻辑正确性进行校验的过程,其目的是为了保障带参协议满足设计要求。协议的传统形式化验证方法,是通过枚举协议的所有可达状态,来依次验证协议的设计要求是否在每个状态下均成立,然而,这种验证方式不适合带参协议验证。其主要原因是:一是带参协议拥有无数个实例,而每个实例都等价于一个协议,直接验证所有实例非常困难;二是带参协议实例的状态数量随参数增加成指数级增长,造成状态爆炸问题,导致大参数带参协议实例难以验证。为了解决协议验证方法难以应用于带参协议验证的问题,带参协议验证专家提出了各自的解决方法,如抽象方法、截止方法和归纳证明方法等等。其中,归纳证明方法被认为是最可行的解决方案之一。使用归纳证明方法验证带参协议需要寻找辅助不变式,传统的辅助不变式寻找方式为人工推导,这种方法只适用于小型带参协议的验证,对于大型带参协议,人工推导方法不仅实现困难而且容易出错,这使得归纳证明方法难以推广。为了解决归纳证明方法中辅助不变式的寻找问题,本文提出了基于决策树的不变式判断方法,并结合现有的带参协议归纳证明技术,提出了基于决策树的带参协议自动化验证方法。基于决策树的带参协议自动化验证方法是首个将决策树方法应用于带参协议验证的方法。该方法可以高效地寻找辅助不变式并完成带参协议的归纳证明。基于决策树的带参协议自动化验证方法主要有以下创新点:(1)提出了使用带参协议实例的对称削减可达状态集合作为决策树训练数据的方法。使用这种训练数据不仅使决策树能够准确判断候选不变式,而且减少了决策树的生成和判断候选不变式所需要的内存与时间。(2)提出了针对带参协议实例的决策树算法。这种算法以ID3算法为基础,通过修改决策树叶子节点的生成条件与生成方法,使决策树包含了更多有关带参协议实例的信息,从而保证决策树能够准确无误地判断候选不变式。(3)提出了使用决策树路径判断候选不变式的方法。这种方法的原理是利用决策树路径与候选不变式的关系,使用可达状态类别判断候选不变式是否为带参协议实例的不变式。基于决策树的带参协议自动化验证方法针对的带参协议类型是缓存一致性协议。试验证明,基于决策树的带参协议自动化验证方法能够应用于包含Flash协议的多种典型带参协议,并且和ParaVerifier方法相比,在验证大型带参协议时,时间消耗与内存占用方面均有明显优势。(本文来源于《北京交通大学》期刊2019-06-01）
彭宁[7]（2019）在《关于计算机网络通信协议验证技术的探讨》一文中研究指出协议验证技术是计算机网络通信协议工程技术中的重要组成部分,在保证协议正确性、完整性上发挥着至关重要的作用。基于此,本文从计算机网络通信协议的相关概述出发,就协议验证技术及其在计算机通信网络协议中的应用进行了简要分析,以期加强对协议验证技术的认识与了解,推动计算机网络通信协议的优化发展。(本文来源于《计算机产品与流通》期刊2019年03期）
岳静,邓利红[8]（2019）在《基于生物统计信息的多因子远程身份验证协议》一文中研究指出为了提高多服务器环境的远程身份验证的安全保障,提出一种包括生物统计信息、椭圆曲线密码和智能卡的多因子身份验证协议。该协议包括设置阶段、服务器注册阶段、用户注册阶段、登录阶段、验证阶段和密码更改阶段6个阶段。在注册阶段,应用了模糊验证器,将生物特征模板转换为随机字符串,避免了生物特征模板的噪声影响;在登陆阶段,使用椭圆曲线加密点乘,明显降低了双线性配对运算的成本。BAN逻辑证明了该协议可实现安全会话密钥协商和双向身份验证,协议安全性分析表明,所提协议可以抵御常见的多种安全性攻击,且注册和登陆阶段的总体计算成本较低。(本文来源于《南京理工大学学报》期刊2019年01期）
杨钞翔,孔宪伟,栾文焕,张远航,王志军[9]（2019）在《基于FC协议的PCS层设计和协议分析仪验证》一文中研究指出FC光纤通道协议作为新一代重要总线技术,具有带宽高、扩展性强、可靠性强、实时性强、支持多种媒介、抗电磁干扰等优良特点,发展迅速并在诸多领域得到了广泛应用.本文针对FC协议的PCS层进行深入研究,解析其关键模块:弹性缓冲器、8B/10B编解码器、位宽变换器、同步器等,提出整体设计架构,使用verilog语言完成代码设计,搭建回环验证平台,并采用FC专用协议分析仪,结合FPGA进行验证,完成设计.(本文来源于《微电子学与计算机》期刊2019年03期）
蒋欢,何青[10]（2019）在《一种安全协议的形式化验证方法》一文中研究指出本文针对一类特殊的安全协议——基于知识的安全协议进行了讨论,并尝试通过模型检测的方法对其进行自动验证。本文使用相应的模型检测工具来验证了一个基于知识的安全协议,实验结果表明该协议的安全性规范得到了很好地满足。随着互联网+时代的来临,计算机网络技术迅速发展并广泛应用于各个行业,网络安全问题随之日益受到关注。网络安全的基础是安全协议,它是一种通信协议,如何设计良好的安全协议已成为网络安全的重点研究问题。安全协议的实现依赖于密码技术,它不(本文来源于《电子世界》期刊2019年02期）
协议验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
匿名WBANs通信技术是保护互联网用户和服务器间隐私的最有力手段之一,但匿名WBANs无证书认证协议的形式化验证仍是亟待解决的难题。采用概率模型检测的方法对一种基于云辅助的匿名WBANs的轻量级无证书认证协议建立离散时间马尔科夫链模型,在协议建模的状态迁移中加入了攻击率,重点对攻击率进行定量分析,用概率计算树逻辑对协议属性进行描述,利用PRISM概率模型检验工具对协议进行定量分析和验证,并且与SIP协议进行性能方面的对比。验证结果表明:在匿名WBANs通信环境下,云辅助的轻量级无证书认证协议各实体间所受攻击率对协议的不可否认性、时延性和有效性有不同程度的影响,控制好攻击率可以提高协议安全性,这对医疗服务质量和实时监测效率的提高以及远程医学的基本需求有着极大的意义。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
协议验证论文参考文献
[1]..罗德与施瓦茨使用R&SCMX500完成5GNR协议一致性测试验证[J].信息通信技术与政策.2019
[2].夏奴奴,杨晋吉,赵淦森,莫晓珊.基于概率模型的云辅助的轻量级无证书认证协议的形式化验证[J].计算机科学.2019
[3].沙倚天,李天一,贾玮,姚铭艺.一种基于树型网络的可验证多方量子密钥分配协议[J].计算机应用与软件.2019
[4].曲国远,徐晓飞,刘威廷,王沁煜,贺飞.基于扩展标记变迁模型的时钟同步协议正确性验证[J].国防科技大学学报.2019
[5].余飞侠,水泉.S模式二次雷达数据链协议分析与功能验证[J].电脑知识与技术.2019
[6].曹泰丰.基于决策树的带参协议自动化验证方法[D].北京交通大学.2019
[7].彭宁.关于计算机网络通信协议验证技术的探讨[J].计算机产品与流通.2019
[8].岳静,邓利红.基于生物统计信息的多因子远程身份验证协议[J].南京理工大学学报.2019
[9].杨钞翔,孔宪伟,栾文焕,张远航,王志军.基于FC协议的PCS层设计和协议分析仪验证[J].微电子学与计算机.2019
[10].蒋欢,何青.一种安全协议的形式化验证方法[J].电子世界.2019
论文知识图
