导读:本文包含了条件认证论文开题报告文献综述及选题提纲参考文献，主要关键词:车联网,匿名证书,认证,可追踪性
条件认证论文文献综述
王青龙,乔瑞,樊娜,段宗涛[1]（2019）在《一种面向车联网的高效条件匿名认证方案》一文中研究指出针对传统基于公钥基础设施(Public Key Infrastructure,PKI)的匿名证书方案需要更新的问题,提出一种车联网匿名证书分发机制,车辆从途经的路侧单元(Road Side Unit,RSU)获得临时匿名证书,并利用该证书进行消息广播.因而不存在复杂的证书管理问题,并且车辆在认证消息时也不需要耗时的证书撤销列表(Certificate Revocation List,CRL)检查,显着提高了认证效率.安全分析表明本文方案满足匿名性、不可关联性、可追踪性、撤销性及消息完整性,能够抵抗伪造攻击、假冒攻击和重放攻击,特别是与已有类似方案相比较,能够抵抗RSU的关联攻击.实验结果显示本文方案具有较高的计算效率,具有实际应用价值.(本文来源于《北京交通大学学报》期刊2019年05期）
杜青林,颜婉茹[2]（2019）在《支持条件在环境工程专业教育认证中的作用研究与实践》一文中研究指出阐述了支持条件在专业认证工作中对于保障工程教育质量的重要性,分析了2018年新版环境工程专业认证通用标准及补充标准对于支持条件的要求,并结合本校认证工作,说明了在支持条件准备过程中遇到的问题和解决方法。(本文来源于《高校实验室科学技术》期刊2019年02期）
田东霞,李秋月[3]（2019）在《北京市昌平区苹果生育期气象条件分析与气候品质认证》一文中研究指出本文基于昌平国家观测站和流村自动气象站气象数据,分析昌平区苹果生育期内气象条件、气象灾害对苹果品质的影响。结果表明,2018年气象条件中,气温和日照条件有利于苹果生长、发育、着色等品质形成;低温和降水量对苹果生长膨大造成不利影响,管理上采取防冻害、灌溉等措施保障了苹果品质。通过对苹果果树生长立地条件、果品生长气候条件、果品经营主体生产管理条件等进行综合评分,昌平区苹果气候品质被认证为特优。该研究得出的气候品质认证指标体系,为果品注入气象科技内涵的同时,对苹果生长和生产管理条件提供了决策依据。(本文来源于《现代农业科技》期刊2019年16期）
廖国强,刘华,陈勇[4]（2019）在《基于TSI认证条件下的电力机车动态限界计算》一文中研究指出针对欧盟TSI认证要求,介绍了电力机车动态限界计算的公式和方法,并以具体机车计算示例进行验证,为后续类电力机车动态限界计算提供参考。(本文来源于《科学技术创新》期刊2019年22期）
江前进,巩富晓[5]（2019）在《冷藏集装箱ATO认证必要条件》一文中研究指出1ATO认证简介荷兰被誉为"鲜花之国",有"欧洲花园"的称号。花卉产业是荷兰的支柱性产业,其花卉出口规模占国际花卉市场的40%～50%。花苞的洲际运输通常以海运冷藏集装箱为运输工具,并且运输周期可能长达2～6个星期,在此期间,适宜的箱内温度是维持花苞质量的关键因素。20世纪70年代,为了保障花苞在运输过程中的最佳品质,业内引入花苞运输集装箱ATO认证。ATO是荷兰语"Agrotechnologisch Onderzoek"的缩略词,意指"农业技术(本文来源于《集装箱化》期刊2019年06期）
[6]（2019）在《市场监管总局公告:符合条件可免予办理CCC强制性产品认证》一文中研究指出2019年5月6日,市场监管总局发布2019第153号关于明确免予办理强制性产品认证工作要求的通知。根据《市场监管总局海关总署关于免予办理强制性产品认证工作有关安排的公告》(市场监管总局、海关总署公告2019年13号)的要求,各地市场监管部门自2019年4月1日起承接免予办理强制性产品认证(本文来源于《日用电器》期刊2019年05期）
[7]（2019）在《海光荣获首都科技条件平台检测与认证领域中心“2018年度优秀成员单位”称号》一文中研究指出2019年1月24日,首都科技条件平台检测与认证领域中心"2018年工作交流会"在京召开。会上中心领导总结介绍了2017年领域中心的工作成果,探讨领域中心2018年的总体规划和工作安排,并对评选出的2018年度优秀成员单位进行颁奖,海光荣获"首都科技条件平台检测与认证领域中心2018年度优秀成员单位"称号。检测与认证领域中心是首都科技条件平台的组成部分,是市科委与市质监局及原北京出入境检验检疫局联合建立(本文来源于《分析化学》期刊2019年02期）
徐文煜[8]（2019）在《车联网中条件隐私保护和安全认证方案研究》一文中研究指出车载自组织网络是物联网和城市交通所产生的一种新型智能交通运输管理系统。车联网中的车辆装载着车载单元OBU,通过使用专用的短程通信协议每隔100-300ms向附近的车辆播送道路交通信息,如道路拥挤,周围车辆的行驶状态等,可以为车主留有足够的反映时间来处理紧急事故,减少道路交通事故。同时提前知道道路的交通信息,车主可以选择一个最佳的行驶路线来提高交通效率,降低交通压力。另外车联网也可以为车主和乘客提供一些娱乐设施服务,如导航,网络接入,进而改善驾驶体验。由于车载自组织网络通信环境的开放性以及无线网络不稳定等特性,车辆用户的身份信息以及车主的行驶路线每时每刻都处在暴露的环境中。如果这些车辆用户信息不能够进行有效的保护,那么将会引发一系列安全问题,导致车联网系统的崩溃。同时车联网易遭受许多安全性攻击,例如假冒合法车辆发送虚假消息来获得利益或者便利。因此本文针对车辆自组织网络的安全通信认证协议,对其隐私保护和安全认证两方面进行了理论研究和实践探索,提出了适用于车辆和车辆通信以及车辆和路边单元通信的隐私保护认证方案。本文工作及贡献主要包括以下一些内容。1)阐述了车联网的研究背景及其意义,并且对以往车联网方案进行了相应的调研与分析,总结他们所具有的优缺点以及还有哪些方面需要有待改善。同时也介绍了车联网的系统模型,攻击模型以及一些安全性需求。2)提出了使用双重假名机制的条件隐私保护方案。方案使用一个不依靠理想的防干扰设备TPD并使用无双线性配对操作的椭圆曲线算法。通过定期更新存储在TPD中的信息,例如成员密钥、认证密钥以及车辆内在的假名身份,攻击者就无法通过侧信道攻击来获取有用的信息。同时在安全性证明中,由于椭圆曲线离散对数问题(ECDLP)的困难性,在随机预言机模型中,车辆发送的签名不可以被恶意的攻击者进行伪造。此外在性能分析中,本文所提出的方案和其他车联网方案进行了对比,结果显示该方案的计算开销和通信开销更低。3)提出了使用双认证的安全隐私保护方案。首先在车辆向其他车辆或者路边单元RSU播送安全消息时,车辆在RSU的协助下和可信机构TA进行了相互认证,确保恶意的攻击者无法进入到车联网的通信范围内,进而模拟合法车辆发送消息。同时因为存储在TPD中的加密密钥和内在假名身份会被定期更新,所以可以抵抗边道攻击。此外因为没有使用双线性配对操作,所以该方案的通信开销和计算开销更低,在安全性分析中,该方案可以在随机预言机中存在不可伪造性并且可以满足一些安全性需求。(本文来源于《安徽大学》期刊2019-02-01）
黄博[9]（2019）在《车联网中可快速撤销的条件隐私保护认证方案研究》一文中研究指出随着时代的发展和科技的进步,汽车极大的方便了居民的生活,汽车保有量也在稳步增加,但汽车导致的交通事故问题也逐步进入公共视野,汽车安全问题也随之成为众多学者研究的热点。作为智能交通系统重要基础之一的车载自组织网络概念也就应运而生,车载自组织网络是在物联网基础上,专门为道路上不同实体之间的通信而设计的网络,不仅提高交通效率,还为司机的通行带来可靠安全和多重便利。车联网的设计目标是建立一个车辆间通信的平台,车辆所发送的交通信息将不可避免的包含自身的隐私信息,比如车辆的身份,车辆的位置等等,因此应采取相关的密码学操作以达到保护隐私的目的。此外,车联网中传输的交通信息应该被有效监管,否则当车联网内出现恶意消息时,若不能快速有效的追踪到发送该消息的车辆,那么车联网将失去其应有的安全性。因此车联网的系统安全必须进行整体考虑,在保证车联网功能的同时,提高系统的健壮性与可靠性,本文将主要研究车联网中的条件性隐私保护方案,并在此基础上设计出适应于车载自组织网络环境需求的解决方案。本文工作及贡献如下:1)提出基于注册列表的高效的条件性隐私保护方案,该方案适用于车载自组织网络中的车辆与基础设施之间的安全通信,用注册列表实现了传统方案中撤销列表的作用,大幅度减少了检索列表所占用的时间,有效的提高了车联网中的安全性。此外采用计算开销较低的哈希操作而不是其他运算较复杂的密码学操作,且通过减少车辆所需发送消息的报文长度,有效的改善了车联网中的通信性能,提高了车联网的通信效率。该方案也提供修改密码的功能,即用户可以在认为自己车辆的启动密码不安全的情况下,随时随地更改自己的启动密码,提高了实际应用性。2)在第一个方案的基础上,提出一个基于撤销消息的高效的条件性隐私认证方案,采取路边单元协助车载计算单元进行消息认证的方式,在车辆撤销操作中,则采用路边单元发布撤销消息的方法,可以快速的取消恶意车辆生成假名和消息签名的资格,提高系统的可靠性。同时本方案在消息签名和消息验证阶段,沿用第一个方案中的计算思想即通过使用计算开销较低的哈希操作降低计算开销,同时保留了离线修改启动密码的功能。安全性评估表明本文提出的上述方案可以在满足基础安全性需求的基础上,实现有效的实现恶意车辆的快速撤销,即可以阻止恶意车辆持续不断的车联网造成破坏。性能分析表明上述方案比当前大多数的方案有着更优的时间性能和较低的计算开销,因此在车联网的实际部署中有着更高的实际价值。最后,对车联网中的可快速撤销的条件性隐私保护方案进行了分析总结,并给出了下一步研究方向。(本文来源于《安徽大学》期刊2019-02-01）
毕文泉[10]（2018）在《几个基于Keccak的认证加密算法的（条件）立方分析》一文中研究指出随着互联网行业的迅猛发展,信息安全的重要性日益凸显,教育部增设了“网络空间安全”一级学科。密码学作为网络空间安全的核心支撑技术,在网络空间安全中发挥着重要的作用。对称密码算法是密码学中的重要组成部分,对称密码包括分组密码、流密码、哈希函数、消息认证码和认证加密算法等。KECCAK是美国国家标准与技术研究院(NIST)征集并选出的新一代的哈希函数标准SHA-3的获胜算法,在密码学研究领域占据着相当重要的地位。认证加密算法能同时保证消息的认证性与机密性,近年来征集新的认证加密算法标准的CAESAR竞赛也受到了世界各国密码学家的广泛关注。本文使用类立方攻击与条件立方攻击等方法,针对KECCAK的密钥模式KECCAK-MAC,以及基于KECCAK置换的KEYAk、KETJE等认证加密算法的安全性进行了分析,主要结果分为两个部分。第一部分,对CAESAR竞赛第叁轮的候选算法KEYAK的轻量级版本RIVER KEYAK,我们使用条件立方攻击的方法,找到了一组扩散较弱的条件立方变量,成功地将条件立方攻击应用到了 RIVER KEYAK上,给出了约减为8轮的RIVER KEYAK的密钥恢复攻击,并给出了6、7轮密钥恢复攻击的验证实验,这是对约减轮的RIVER KEYAK的首个公开发表的密钥恢复分析结果;第二部分,针对填充较高或状态小而导致的可利用的自由度较低的KECCAK类算法,我们将类立方攻击与混合整数线性规划(MILP)相结合,提出了一个针对KECCAK的MILP自动化搜索的类立方攻击模型,并将其应用到KECCAK-MAC以及认证加密算法KEYAK和KETJE上。使用该模型,我们成功地将约减轮的KECCAK-MAC-512的密钥恢复攻击延长到了 7轮。两个工作结果均发表于 Designs,Codes and Cryptography(DCC)。·约减轮River Keyak的条件立方攻击KEYAK是由KECCAK团队设计的、提交给CEASAR竞赛的认证加密算法,并且是CAESAR竞赛第叁轮的15个候选算法之一。KEYAK的轮函数基于 KECCAk-p 置换,有五个版本 RIVER KEYAk、LAKE KEYAk、SEA KEYAK、OCEAN KEYAK以及LUNAR KEYAk。RIVER KEYAK是唯一的轻量级版本,采用800比特的状态,它的密钥长度是可变的,最小为128比特,输出消息摘要长度为128比特而填充为256比特。立方攻击是由Dinur和Shamir提出的一种选择初始向量(IV)的密钥恢复攻击,并成功地应用于多种密码算法的分析。在2015年欧密会上,Dinur等人将分治法的思想与立方攻击相结合,提出了类立方攻击,并应用在了约减轮的KECCAK-MAC及LAKE KEYAK上;随后在2017年欧密会上,黄森洋等人提出了条件立方攻击,改进了 Dinur等人的分析结果。通过引入一些比特条件,黄等人选择满足特殊条件的一些比特作为条件立方变量,使立方变量的代数次数进一步降低。本文中针对轻量级的RIVER KEYAK,给出了约减轮的密钥恢复攻击。首先我们对800比特状态的RIVER KEYAK的轮函数,找到了一组新的条件立方变量,通过控制比特条件,大大降低了它们的扩散程度,使得它们在第一轮和第二轮都不与其他的立方变量相乘。然后找到了足够多的立方变量,进行了 6、7轮的密钥恢复攻击并给出了验证实验,时间复杂度分别为233和249。对于8轮的密钥恢复攻击,我们通过结合“线性结构体”技术,优化了搜索立方变量的方法,找到了 64个立方变量,将密钥恢复攻击扩展到了 8轮,时间复杂度为 281。·对Keccak密钥模式的类立方攻击的混合整数线性规划模型KECCAK是美国国家标准与技术研究院(NIST)征集的新一代哈希函数标准SHA-3的获胜算法,是几个最重要的密码学标准算法之一,同时也吸引了诸多密码学家的关注,也涌现了许多的分析结果。KECCAK采用海绵体结构,(默认)采用1600比特状态,对于参数n∈ {224,256,384,512},KECCAK-n采用c = 2n的填充及r = 1600-c的比特率,即c比特初始化为0而消息(IV)分割为r比特的数据块并依次介入到状态的前r比特,输出消息摘要长度为n比特。KECCAK的海绵体结构分为两个阶段,第一个阶段为吸收阶段,r比特的数据分组与状态的前r比特进行异或后进行24轮的KECCAK置换,之后再处理下一个r比特的消息分组直至所有的消息分组处理完毕;处理完消息后为第二个阶段即挤出阶段,KECCAK-n每次置换将状态的前r比特作为输出直至输出n比特消息摘要。带密钥的KECCAK即为KECCAK-MAC,KECCAK-MAC在初始化时将密钥级联在消息前作为输入。当n = 256时,2015年欧密会上,Dinur等人对KECCAK-MAC的密钥恢复攻击达到了 7轮;随后2017年欧密会上,黄森洋等人改进了 KECCAK-MAC 7轮攻击的复杂度,并将KECCAK-MAC-384攻击到了 6轮,而KECCAK-MAC-512的密钥恢复攻击仅为5轮;在2017年亚密会上,李铮等人改进了黄等人的条件立方攻击,将黄等人对KECCAK-MAC-384/512的密钥恢复攻击各增加了一轮。然而,对于KECCAK-MAC-512的密钥恢复攻击仍比其他参数下的攻击少一轮。近年来,密码学界发现许多经典的密码分析问题可以转化为数学上的最优解问题,越来越多的自动化搜索工具(求解器)被应用到密码分析领域,混合整数线性规划MILP(Mixed-Integer Linear Programming)是研究使用较为广泛的一种。混合整数线性规划是将限制条件刻画为线性等式或者不等式,在约束条件的限制下求解目标函数最大或最小整数解或者是判断目标函数有无解的求解器模型。MILP模型在密码学领域的研究应用十分广泛。在本文中,我们将混合整数线性规划引入到类立方攻击中,提出了一个针对KECCAK的类立方攻击的混合整数线性规划自动化搜索模型,大大降低了原类立方攻击的复杂度,并成功地将KECCAK-MAC-512的密钥恢复攻击扩展到了 7轮。同时,我们将该自动化搜索模型应用到基于KECCAK的认证加密算法KEYAK和KETJE上,分析结果表明,与黄等人的条件立方攻击相比,我们的攻击模型在填充较高、可利用的自由比特较少的情况下有优势。(本文来源于《山东大学》期刊2018-11-23）
条件认证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
阐述了支持条件在专业认证工作中对于保障工程教育质量的重要性,分析了2018年新版环境工程专业认证通用标准及补充标准对于支持条件的要求,并结合本校认证工作,说明了在支持条件准备过程中遇到的问题和解决方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
条件认证论文参考文献
[1].王青龙,乔瑞,樊娜,段宗涛.一种面向车联网的高效条件匿名认证方案[J].北京交通大学学报.2019
[2].杜青林,颜婉茹.支持条件在环境工程专业教育认证中的作用研究与实践[J].高校实验室科学技术.2019
[3].田东霞,李秋月.北京市昌平区苹果生育期气象条件分析与气候品质认证[J].现代农业科技.2019
[4].廖国强,刘华,陈勇.基于TSI认证条件下的电力机车动态限界计算[J].科学技术创新.2019
[5].江前进,巩富晓.冷藏集装箱ATO认证必要条件[J].集装箱化.2019
[6]..市场监管总局公告:符合条件可免予办理CCC强制性产品认证[J].日用电器.2019
[7]..海光荣获首都科技条件平台检测与认证领域中心“2018年度优秀成员单位”称号[J].分析化学.2019
[8].徐文煜.车联网中条件隐私保护和安全认证方案研究[D].安徽大学.2019
[9].黄博.车联网中可快速撤销的条件隐私保护认证方案研究[D].安徽大学.2019
[10].毕文泉.几个基于Keccak的认证加密算法的（条件）立方分析[D].山东大学.2018