导读:本文包含了安全性验证论文开题报告文献综述及选题提纲参考文献，主要关键词:开放式公用网络,用户信息,安全,传输
安全性验证论文文献综述
王烨[1]（2019）在《开放式公用网络用户信息传输安全性自动验证方法》一文中研究指出为了提高开放式公用网络用户信息传输安全性,提出一种基于媒介访问控制安全加密传输的开放式公用网络用户信息传输安全性自动验证方法。构建开放式公用网络用户信息传输信道模型,在IEEE 802.1X标准协议下采用密钥管理及身份鉴别方法进行开放式公用网络用户信息传输的加密设计,使用数字证书标识协议构建用户信息传输安全性自动验证模型,采用媒介访问控制安全加密传输方法实现用户信息输出的加密验证及证书鉴别。仿真结果表明,采用该方法进行开放式公用网络用户信息传输安全性能较好,安全验证可靠性较高,提高了网络用户信息的隐私保护能力。(本文来源于《自动化与仪器仪表》期刊2019年08期）
王鹏,吴康,阎芳,汪克念,张啸晨[2]（2019）在《基于系统理论过程分析的安全关键软件安全性验证方法》一文中研究指出现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。(本文来源于《计算机应用》期刊2019年11期）
李宛倩,胡军,陈松,张维珺[3]（2019）在《面向SysML模型的安全性分析与验证方法》一文中研究指出近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非常重要的问题。文中以基于模型的安全性分析(MBSA)为框架,设计了一个面向SysML模型的系统安全性分析与验证方法,实现了从模型构建到安全性分析与属性验证的完整过程。首先,从需求层面和设计层面对SysML系统架构设计模型和最新系统安全性建模语言AltaRica3.0进行了介绍,构建了从SysML的核心模型元素到AltaRica3.0模型的语义等价的转换规则,给出了转换规则的形式化描述并分析证明转换规则的正确性;然后,基于模型驱动的方法设计了一个原型工具平台来完成模型的自动转换和安全性分析过程,该原型工具集成了转换、编译生成故障树、故障树分析、单步仿真及故障路径动态演示等功能,实现了系统设计和安全性分析的同步性,并在此基础上给出了AltaRica3.0至Promela模型的转换关键点,结合穷尽式模型验证工具SPIN对模型的属性进行安全性验证;最后,根据4761标准中对机轮刹车系统的体系结构设计描述和安全性的需求建立SysML模型,依据原型工具平台和属性验证工具实现模型的自动转换和安全性分析验证,进而来说明此转换方法的有效性。(本文来源于《计算机科学》期刊2019年11期）
奉柳,沈鹏,杨旭,刘秉政,曹凯[4]（2019）在《车辆自主决策安全性验证方法》一文中研究指出针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行保守线性化处理,再利用迭代原理和Zonotope近似方法计算可达集。变道避碰的仿真实验表明,在初始状态集和传感器噪声边界条件下,自主车辆位置可达集和速度可达集给出了高置信水平的安全保证。(本文来源于《科学技术与工程》期刊2019年21期）
卿云,伍川辉,高扬[5]（2019）在《基于测力轮对的铁道车辆运行安全性验证》一文中研究指出为准确评估铁道车辆的运行安全性、深入研究车辆运行安全性检测领域,需要进行试验验证。首先,介绍了测力轮对连续式测量方法;然后,建立了测力轮对的有限元模型,确定了应变片的最佳贴片位置;接下来,完成了测力轮对的静态标定;最后,在空气弹簧有气/无气、不同负载以及不同速度级的情况下,对铁道车辆进行了运行安全性验证试验。试验结果表明:无论在何种工况下,车辆运行安全性指标(脱轨系数和轮重减载率)都是低于标准阈值的,充分保障了试验车辆的安全运行。(本文来源于《电子测量技术》期刊2019年13期）
李聪[6]（2019）在《基于任务宏的数据安全性验证方案》一文中研究指出随着计算机技术在工控、航天领域的不断深入发展,使得上位机软件功能日益完善,参数设置也愈加复杂.采用任务宏的模式对参数进行宏配置减少了操作的复杂性,提高了参数配置的可靠性,然而,任务宏在给上位机软件参数设置带来便捷的同时,也面临着前所未有的挑战,如何确保任务宏数据的安全性已成为社会关注的热点问题.基于此,首先对任务宏进行概述,给出面临的数据安全问题;其次,提出了采用SM3,SM4对任务宏进行数据安全性校验方案;最后,通过设计仿真系统模型验证了该方案的可行性.(本文来源于《信息安全研究》期刊2019年07期）
杨军,苏东,陈小刚,曾繁林[7]（2019）在《基于侧碰安全性的车门开启问题研究及其结构优化与验证》一文中研究指出针对汽车在侧碰试验过程中出现的车门开启问题,结合门锁子系统试验、试验拆解与变形分析以及侧碰仿真,系统化的分析导致车门开启的原因,确认导致车门门锁解锁开启的主要原因是门锁区域局部变形过大,导致外开把手弹出解锁,使得车门开启。结合文中提出的能够反映门锁区域局部变形与承受冲击载荷的量化指标,提出了一种结构优化方案,仿真结果显示优化方案的相关指标可减小70%以上,能够有效改善门锁区域局部变形及其承受的冲击载荷作用,有效防止门锁在侧碰过程中解锁开启。优化方案的侧碰试验结果验证了其有效性,试验中门锁区域局部变形小,车门未开启。本文为解决侧碰过程中的车门打开问题提供一种分析方法与设计指导。(本文来源于《汽车科技》期刊2019年03期）
陈超[8]（2019）在《基于深度学习的SSL/TLS证书验证程序的安全性测试研究》一文中研究指出安全套接字层(SSL)和传输层安全协议(TLS)是网络安全的基础。SSL/TLS协议的程序实现中证书验证模块至关重要,且其可能成为整个网络生态系统中的“薄弱环节”。在以往的研究中,研究内容主要集中在证书验证的自动化测试上,通过随机组合种子证书的各个部分来生成大量证书进行模糊测试。虽然生成的证书可以满足语义与语法约束,但成本相当高,而且由于随机性,生成测试用例的有效性受到限制。为了填补这一空白,本文提出了第一个将深度强化学习应用于SSL/TLS证书验证程序的自动化测试框架DRLgencert。DRLgencert接受普通证书作为输入,并输出新生成的证书,且新生成的证书集更可能帮助发现程序缺陷。得益于深度强化学习,在生成证书时,我们的框架可以根据之前经验选择最佳的下一步操作,而不是简单的随机组合合成证书。同时,我们设计一套新的方案来支持框架的总体设计,比如X.509证书的新特征提取方法、细粒度差异测试等等。此外,我们还实现了DRLgencert的框架原型,并进行了一系列的实验。实验结果表明,DRLgencert是有效的,在第一轮的证书生成中,我们依据181900个证书种子生成181900个测试证书,其中有84661个新证书能够触发差分测试的异常结果,比例约为46.5%。此外,我们还评估了六种流行的SSL/TLS协议的程序实现,包括GnuTL、MatrixSSL、mbedTLS、NSS、OpenSSL和WolfSSL。DRLgencert成功地在这六个程序中发现了23项严重的证书验证的代码实现缺陷,并且其中大部分缺陷未曾被发现过。(本文来源于《山东大学》期刊2019-05-20）
童世华[9]（2019）在《基于SM4算法的移动终端接入车间信息系统的安全性设计与验证》一文中研究指出网络化的车间信息远程控制带给用户便捷的同时伴随着安全隐患,为了杜绝移动终端接入车间信息系统通信过程可能存在的潜在威胁,针对移动终端接入车间信息系统可能存在的安全问题,设计了身份认证、访问控制、异常行为检测、黑白名单过滤和接入审核的安全机制,并建立一个3层信息安全控制系统。经测试结果表明,设计的安全机制有效地提高了车间信息系统移动终端接入的安全性,可阻止针对移动终端接入车间信息系统可能存在的恶意攻击。(本文来源于《机床与液压》期刊2019年07期）
杨朝晖[10]（2019）在《基于侧翻安全性验证的某客车车身骨架多目标轻量化研究》一文中研究指出客车车身的质量约占整车质量的30%-50%。研究显示,如果客车整车质量下降10%,燃油效率可提高6%-8%,在空载情况下,约70%的能耗消耗在车身质量上。因此,在不牺牲汽车安全性的前提下对客车车身进行轻量化设计是十分必要的。本文以某企业开发中的一款12m大客车为研究对象,对客车车身骨架结构进行多目标尺寸优化,并通过对比分析优化前后的车身骨架性能,检验本文所确定的轻量化方案的可靠性。本论文研究的主要内容包括以下几个方面:1)对企业提供的客车车身叁维CATIA模型进行简化处理,并在HyperMesh软件中按照建模要求建立车身骨架有限元模型。2)基于建立的有限元模型对车身骨架结构进行典型工况分析和模态分析。在软件中模拟客车行驶中的4种典型工况,包括水平弯曲、极限扭转、紧急制动以及紧急转弯工况,分析客车车身的强度和刚度。模态分析提取前6阶车身自由模态,分析频率分布及振型,验证车身骨架结构是否符合设计要求。3)基于直接灵敏度分析与相对灵敏度分析筛选出进行优化设计的骨架结构。根据对称性和功能相似性将车身结构进行分组处理,以结构壁厚参数作为设计变量,结合直接灵敏度分析与相对灵敏度分析的结果,筛选出对车身骨架质量敏感,但对车身骨架性能不敏感的结构,进而提高优化效率。4)在HyperStudy软件中对车身骨架进行多目标尺寸优化,确定优化方案。以车身质量最小、车身弯曲刚度和扭转刚度最大为设计目标,车身1阶自由模态频率为约束条件,以筛选出的结构壁厚参数为设计变量,基于多目标遗传算法得到优化结果,实现减重197kg,减重率达8.9%,轻量化效果明显。然后对比分析轻量化前后车身骨架的刚度、强度、模态性能,初步验证了方案可靠性。5)基于GB17578-2013《客车上部结构强度要求及试验方法》的要求建立客车侧翻试验有限元模型,在LS-DYNA软件中对优化后的客车车身侧翻安全性进行验证,结果证明轻量化后的车身骨架满足国标要求,侧翻安全性与原车身差异很小,进一步验证了轻量化方案的可靠性。(本文来源于《华南理工大学》期刊2019-04-11）
安全性验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
安全性验证论文参考文献
[1].王烨.开放式公用网络用户信息传输安全性自动验证方法[J].自动化与仪器仪表.2019
[2].王鹏,吴康,阎芳,汪克念,张啸晨.基于系统理论过程分析的安全关键软件安全性验证方法[J].计算机应用.2019
[3].李宛倩,胡军,陈松,张维珺.面向SysML模型的安全性分析与验证方法[J].计算机科学.2019
[4].奉柳,沈鹏,杨旭,刘秉政,曹凯.车辆自主决策安全性验证方法[J].科学技术与工程.2019
[5].卿云,伍川辉,高扬.基于测力轮对的铁道车辆运行安全性验证[J].电子测量技术.2019
[6].李聪.基于任务宏的数据安全性验证方案[J].信息安全研究.2019
[7].杨军,苏东,陈小刚,曾繁林.基于侧碰安全性的车门开启问题研究及其结构优化与验证[J].汽车科技.2019
[8].陈超.基于深度学习的SSL/TLS证书验证程序的安全性测试研究[D].山东大学.2019
[9].童世华.基于SM4算法的移动终端接入车间信息系统的安全性设计与验证[J].机床与液压.2019
[10].杨朝晖.基于侧翻安全性验证的某客车车身骨架多目标轻量化研究[D].华南理工大学.2019