安全验证

摘要： 虚拟黑客机器人是网络安全行业中对安全控制进行检测的一种新模式,安全控制的检测服务正在以人工服务为主逐渐转变为以机器人服务为主,以缓解当前安全专业人才短缺现象。文章比较传统的安全管理方法与防护手段中存在的问题,结合人工智能技术与渗透测试技术,阐述了虚拟黑客机器人可以实现的资产探测、漏洞利用、安全验证、风险量化等多项功能。最后分析了虚拟黑客机器人技术应用于安全测评中仍存在的问题与挑战。

摘要： 密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆盖率低,难以满足密码算法核这一安全关键部件的安全验证需求。从信息流安全的角度研究密码算法核安全验证与漏洞检测方法。该方法能够对密码算法核中全部逻辑信息流进行精确度量,实现对机密性和完整性等安全属性的形式化验证,可通过捕捉有害信息流动来检测密码算法核设计中潜在的安全隐患。实验结果表明信息流安全验证方法对密码算法核中的设计缺陷和旁路信道导致的敏感信息泄漏有很好的检测效果。

摘要： 大型场馆类项目建设中,场馆功能的多样性对场馆建设机电工程施工提出了更高的要求[1]。系统复杂性及场馆空间的限制性,要求在廊道、走廊通行区、车库车道、房间集中区必须采用综合支架以保证空间净高及使用功能要求。同时管道的集中排布及综合支架的设计、施工必须达到承重荷载要求,满足结构及承重构建的荷载安全要求。本文将以榆林市会展中心为例,解析如何利用BIM技术解决场馆类综合支架设计及支架安全验证的问题。

摘要： 信息物理系统(cyber-physical system,CPS)的安全控制器设计是一个热门研究方向,现有基于形式化方法的安全控制器设计存在过度依赖模型、可扩展性差等问题.基于深度强化学习的智能控制可处理高维非线性复杂系统和不确定性系统,正成为非常有前景的CPS控制技术,但是缺乏对安全性的保障.针对强化学习控制在安全性方面的不足,围绕一个工业油泵控制系统典型案例,开展安全强化学习算法和智能控制应用研究.首先,形式化了工业油泵控制的安全强化学习问题,搭建了工业油泵仿真环境;随后,通过设计输出层结构和激活函数,构造了神经网络形式的油泵控制器,使得油泵开关时间的线性不等式约束得到满足;最后,为了更好地权衡安全性和最优性控制目标,基于增广拉格朗日乘子法设计实现了新型安全强化学习算法.在工业油泵案例上的对比实验表明,该算法生成的控制器在安全性和最优性上均超越了现有同类算法.在进一步评估中,所生成神经网络控制器以90%的概率通过了严格形式化验证;同时,与理论最优控制器相比实现了低至2%的最优目标值损失.所提方法有望推广至更多应用场景,实例研究的方案有望为安全智能控制和形式化验证领域其他学者提供借鉴.

摘要： 量子密钥分配(Quantum Key Distribution,QKD)后处理协议描述了在量子密钥系统中,利用量子特性及经典通信实现安全的密钥交换的方法。由于量子密钥系统除了面临量子相关的安全威胁,还面临经典网络的安全威胁,因此QKD经典部分(后处理协议)安全性的不足,也会影响整个系统的安全性。分析了QKD后处理协议安全威胁,提出了基于信息安全要素的安全验证手段,并给出了相应安全防护机制。

摘要： 为构建安全高效的网络环境,必须对伪造、受篡改数据帧进行有效的识别与过滤。然而,在软件定义网络(SDN)中,现有的安全验证机制通常在验证设备受到攻击或恶意控制时无法有效运行。为解决上述问题,提出了基于区块链的SDN数据帧安全验证机制。首先,设计帧转发证明(PoFF)共识算法并以此为基础建立轻量型区块链系统;然后,基于该系统构建针对SDN数据帧的安全验证体系;最后,提出可灵活调节的半随机选择验证模式以兼顾验证效率与资源开销。仿真结果表明,在同等比例的交换机被恶意控制情况下,所提机制的漏检概率较基于哈希链的验证机制有明显降低。其中,当受控交换机占比为40%时,降低效果尤其显著:此时所提机制在基本验证模式下的漏检概率低于32%,在辅助以半随机验证后可进一步降到7%,均远低于基于哈希链的验证机制72%的漏检概率;且所提机制引入的资源开销与通信代价在合理范围内。此外,即使在SDN控制器完全失效情况下,所提机制仍可保持良好的验证性能与效率。

摘要： 当前网络环境愈趋复杂,而网络安全是铁路安全的基础,开展针对复杂网络环境的铁路安全防护研究具有重要的现实意义。文章根据铁路网络安全特点及需求,以网络安全数据为核心,建立4层铁路网络安全防护架构,结合以身份验证为中心的安全验证及服务于数据计算与处理的算力分配等技术,实现铁路网络从数据采集到安全分析的全过程防护。该研究可为铁路网络安全防御提供一定参考。

摘要： 针对基于功能验证和侧信道分析的硬件安全漏洞检测方法的不足,提出了一种结合Yosys形式化验证能力和门级信息流追踪方法对集成电路设计进行安全验证和漏洞检测的方案.首先,使用Yosys对硬件电路设计进行逻辑综合,生成门级网表.其次,为电路设计中各信号的每个比特位添加污染标签,并采用二进制位粒度的污染标签传播策略为基本逻辑单元生成门级信息流模型,进而以此为基本单元构建整个电路的信息流模型.然后,描述电路设计中关键数据的机密性和完整性属性,并将其映射为Yosys可识别的安全约束.最后,结合Yosys和电路的信息流模型对电路设计的安全属性进行验证,安全验证中捕捉到违反安全属性的事件,即表明硬件设计中存在安全漏洞.实验表明,该方法能够准确检测到AES加密电路中植入的一种可满足性无关项木马.实验结果验证了该方法能够在不依赖功能验证和侧信道分析的前提下检测到安全漏洞,因而适用范围更广.

摘要： 针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法.该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证模型;最后利用模型检测器对所构造的模型进行验证,当模型违反设定的安全验证属性时,检测到其中的硬件木马.利用Trust-HUB硬件木马测试基准的实验结果表明,该方法生成的形式化验证模型,能够有效检测寄存器传输级硬件设计中的木马.

摘要： 智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题.智能合约编写语言及其不可篡改特性,可能导致安全漏洞的产生且无法被修复,进而会让使用者面临巨大的经济损失.为了对智能合约漏洞进行分析,越来越多的学者引入了形式化方法,对智能合约的源码和字节码进行安全验证,最大程度地保证智能合约的安全.论文介绍了智能合约的运行机制以及常见的智能合约漏洞,针对定理证明和模型检测两类形式化方法,在智能合约检测中的现有典型技术进行了研究,并在验证级别、翻译语言和验证逻辑等方面进行了对比,给出了其优缺点以及智能合约未来的研究方向.

摘要： 放射性物品运输安全是核安全的一个重要分支.仿真计算和试验相结合的方法被用于放射性物品运输货包安全评价中.本文研究了一种60Co源运输容器的有限元仿真方法.采用不同的材料模型进行仿真,并将其结果与试验结果进行了比较,证明了有限元方法的可行性及材料模型在仿真中的重要性.最后,讨论了有限元分析在放射性物质运输货包安全评价中的研究方向.

摘要： 当盾构机顶部是淤泥、砂层和软粘土等软弱地层时，带压进入土舱进行检查、换刀和清泥饼等工作存在较高的风险。本文通过保压试验等措施来验证是否具备带压进舱作业的条件，有效地防范进舱作业的风险。

摘要： 通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性。表明该方法具有较强的可行性和适用性。

摘要： 云计算集成了分布式计算、网格计算和虚拟化等技术的优点，可以集中高效地使用资源，而安全问题却成为制约其发展的重要因素。可信计算可以为云计算提供安全保障，但是由于云计算体系结构和传统计算模式并不相同，用户对云计算中的计算平台、虚拟机和应用程序等的完整性远程验证将变得繁琐复杂。本文设计的远程验证代理可以帮助用户进行完整性远程验证，降低客户端的负担并提高验证的效率。

摘要： 云计算集成了分布式计算、网格计算和虚拟化等技术的优点，可以集中高效地使用资源，而安全问题却成为制约其发展的重要因素。可信计算可以为云计算提供安全保障，但是由于云计算体系结构和传统计算模式并不相同，用户对云计算中的计算平台、虚拟机和应用程序等的完整性远程验证将变得繁琐复杂。本文设计的远程验证代理可以帮助用户进行完整性远程验证，降低客户端的负担并提高验证的效率。

摘要： 云计算集成了分布式计算、网格计算和虚拟化等技术的优点，可以集中高效地使用资源，而安全问题却成为制约其发展的重要因素。可信计算可以为云计算提供安全保障，但是由于云计算体系结构和传统计算模式并不相同，用户对云计算中的计算平台、虚拟机和应用程序等的完整性远程验证将变得繁琐复杂。本文设计的远程验证代理可以帮助用户进行完整性远程验证，降低客户端的负担并提高验证的效率。

摘要： 云计算集成了分布式计算、网格计算和虚拟化等技术的优点，可以集中高效地使用资源，而安全问题却成为制约其发展的重要因素。可信计算可以为云计算提供安全保障，但是由于云计算体系结构和传统计算模式并不相同，用户对云计算中的计算平台、虚拟机和应用程序等的完整性远程验证将变得繁琐复杂。本文设计的远程验证代理可以帮助用户进行完整性远程验证，降低客户端的负担并提高验证的效率。

摘要： 针对当前终端涉密计算机存在的跨域交叉访问不同密级、不同业务类型的应用服务器可能带来的安全隐患问题，提出综合利用远程桌面技术、终端服务器技术、虚拟机技术和防火墙技术实现主机系统虚拟化隔离的一体化解决方案，给出系统部署结构，并对该方案的可行性进行了分析验证。

摘要： 针对当前终端涉密计算机存在的跨域交叉访问不同密级、不同业务类型的应用服务器可能带来的安全隐患问题，提出综合利用远程桌面技术、终端服务器技术、虚拟机技术和防火墙技术实现主机系统虚拟化隔离的一体化解决方案，给出系统部署结构，并对该方案的可行性进行了分析验证。

摘要： 针对当前终端涉密计算机存在的跨域交叉访问不同密级、不同业务类型的应用服务器可能带来的安全隐患问题，提出综合利用远程桌面技术、终端服务器技术、虚拟机技术和防火墙技术实现主机系统虚拟化隔离的一体化解决方案，给出系统部署结构，并对该方案的可行性进行了分析验证。

摘要： 提供一种验证人工智能系统安全性的有效系统。一种安全性验证系统，包括：特征量信息接收部14，其接收包含在用于进行人工智能系统的安全性验证的测试中使用的多个第一测试数据的每个第一测试数据中的、预测在该人工智能系统中使用的多个特征量的值的特征量信息；以及判断部16，其判断：第一组合，第一组合是多个特征量能够取值的组合中的、没有被包含在多个第一测试数据中的组合，或者第二组合，第二组合是多个特征量能够取值的组合中的与应当由人工智能导出的多个正确解析结果相关联的组合。

摘要： 一种安全运算装置、安全运算方法、验证器及装置验证方法，该装置包括网络接口、存储器和处理器。网络接口被配置以经由通信网络与验证器通信。存储器被配置以储存多层可变程序码，其中各层可由各别的测量值来识别。处理器被配置以在一给定开机周期内产生一个仅与该开机周期关联的随机数，自验证器接收一挑战以认证一给定层，基于(i)安全地储存于装置中的唯一装置密钥、(ii)该给定层由另一层测量的测量值、以及(iii)对给定开机周期产生的随机数，计算一认证金钥，通过使用认证金钥对挑战签章以对该挑战计算一回应，并传送该回应至该验证器以验证该给定层，减轻零时差攻击危害。

摘要： 本发明涉及一种用于在包含电容式表面传感器的设备上验证优选地是文件、(银行)卡和/或产品包装的包含电传导安全特征的对象的方法。在将包含安全特征的对象放置在表面传感器上之后，特别是使用输入装置对对象和电传导安全特征执行动态输入以便在表面传感器上生成时间相关特性信号。然后评估检测到的时间相关信号。此外，本发明涉及包含安全特征的对象和用于生产包含安全特征的对象的方法、用于执行该方法和用于在电容式表面传感器上验证包含导电安全特征的文件的系统或套件。

摘要： 本发明提出了一种安全验证方法、一种安全验证装置和一种安全验证系统，其中，用于服务器的所述安全验证方法包括：建立与移动终端的之间第一通信链路；通过所述第一通信链路接收来自所述移动终端的请求信息；验证所述请求信息是否与所述服务器中的预存验证信息匹配；在验证结果为是时，为所述移动终端分配对与所述服务器建立通信连接的智能家居设备的管理员权限。通过本发明的技术方案，能够利用智能家居网络的特点进行有针对性的安全验证，可以有效地避免因固定密码泄漏而导致对智能家居设备的非法操作，提高了智能家居网络的安全性，从而提升了用户体验。

摘要： 本发明提出了一种手机卡安全验证方法、一种手机卡安全验证装置和一种终端，其中，手机卡安全验证方法包括：根据接收到的第一验证命令，向终端的第一手机卡和第二手机卡分别发送通信指令，其中，所述通信指令包括拨打电话或发送信息；检测所述第一手机卡和所述第二手机卡是否可以接收到所述通信指令；根据检测结果，确定所述第一手机卡和所述第二手机卡是否处于安全状态。通过本发明的技术方案，可以便捷地验证手机卡是否被非法补办或复制，大大提升了验证手机卡的安全性的便利程度，提升了终端的安全性及用户体验。

摘要： 本发明提出了一种安全验证方法、一种安全验证装置和一种安全验证系统，其中，用于服务器的所述安全验证方法包括：建立与移动终端的之间第一通信链路；通过所述第一通信链路接收来自所述移动终端的请求信息；验证所述请求信息是否与所述服务器中的预存验证信息匹配；在验证结果为是时，为所述移动终端分配对与所述服务器建立通信连接的智能家居设备的管理员权限。通过本发明的技术方案，能够利用智能家居网络的特点进行有针对性的安全验证，可以有效地避免因固定密码泄漏而导致对智能家居设备的非法操作，提高了智能家居网络的安全性，从而提升了用户体验。

摘要： 本发明提供的安全验证方法及安全验证系统，当服务器接收并验证客户端返回的验证码输入结果，并将验证信息返回至客户端后，由于服务器返回的验证信息中包含有对验证码输入结果的验证结果及ticket值，若当前客户端用户并未执行本次校验流程，客户端是无法获取到服务器返回的ticket值，并向服务器发送请求ticket值的指令，利用本次返回的ticket值对验证信息中的ticket值进行二次校验的，若客户端无法进行二次校验，则表明当前的校验流程并未通过，用户无法进入下一步流程，因此，本申请可以有效防止黑客绕过验证码校验流程，进一步提高验证机制的抗风险能力。

摘要： 本申请提供一种安全验证平台和安全验证方法，平台包括：输入模块、主控模块、输出模块；主控模块与输入模块和输出模块连接；输入模块，用于采集待测产品的待测数据，并向主控模块发送待测数据；主控模块，用于接收待测数据，并根据待测数据生成控制信号；输出模块，包括多种类型的接口单元，用于将控制信号转换成对应的总线信号，并向待测产品发送总线信号，以实现对待测产品的安全验证。可以对待测产品的多个功能进行完整检测；以及通过转接模块适配于不同的待测产品，对不同型号的待测产品进行安全验证。安全验证平台搭建简单，应用灵活，自动化程度高，故障定位准确，提高了安全验证的效率。

摘要： 本说明书公开了一种用于安全验证的主板以及安全验证方法、装置及介质，通过设置和通道管理单元连接的校验单元，以及和各待校验设备连接的通道管理单元，当电子设备上电后，控制校验单元向通道管理单元发送针对待校验设备的校验指令，并通过通道管理单元根据接收到的校验指令获取待校验设备的配置信息，以及将配置信息返回校验单元，再由校验单元根据已存储的校验信息对接收到的配置信息进行校验，当校验通过后，控制电子设备启动。通过通道管理单元，将待校验设备的配置信息发送至校验单元进行校验，来实现在电子设备启动过程中对于设置在电子设备内的待校验设备和/或该电子设备外接的待校验设备的安全验证，保证了信息安全。

摘要： 本发明涉及信息安全领域，公开了一种网络服务请求的安全验证方法、安全验证系统及计算机可读存储介质，由客户端获取与客户端连接的客户端网关和/或者服务平台指定的预设加密算法；并基于预设加密算法生成客户端所发起网络服务请求的第一签名和第二签名；然后封装第一签名和第二签名至网络服务请求；最后将网络服务请求发送至客户端网关，以供客户端网关分别验证第一签名和第二签名。本发明基于动态指定加密算法对网络服务请求进行双层加签，极大程度上增加了恶意攻击者针对该双层加签的破解难度，有效保证了客户端网关下游服务的安全性，避免该下游服务遭受恶意攻击。