认证测试

摘要： 地面电子单元(LEU)作为铁路信号的重要设备,其防雷认证试验的测试方法中存在不足。分析传统测试方法可能导致误判的原因,运用虚拟仪器技术配合的PXI高速总线硬件设备,对既有方法进行改进,在此基础上设计一套自动测试仪器,在防雷试验中,该仪器可直接从LEU设备C接口输出端采集信号,并自行对比判断结果,可将传统方法中利用辅助设备间接判断LEU工作状态,优化为直接采集分析LEU输出信号,可显著简化试验环境的搭建,消除因辅助测试设备所引发的误判风险。改进后的测试方法具有判断准确和操作简便的优点,可有效提升试验自动化程度和试验结果准确性。

摘要： 为深入贯彻国家能源安全新战略,落实碳达峰、碳中和目标,低碳化、可持续化的清洁能源成为了当今发展的重中之重,以及未来能源发展的主流。风能作为持久性且分布广泛的清洁能源,当前受到的重视程度日益趋增。无论是风力发电机组的单机装机容量,还是在电力市场中风力发电所占比例,都在不断提升。由于风力发电大规模开发应用,从而对电力系统产生了系列新能源并网挑战。

摘要： IT网络基础设施部门正在从传统的成本中心转变为与业务直接相关的部门。正是这样的趋势,作为影响整个系统性能的物理层,尤其是其中的铜缆布线,让业界对物理层的重要性、铜缆布线是否符合标准规定以及认证测试的必要性有了全新的认识。文章重点介绍铜缆布线系统物理层的施工要求、认证测试的必要性及测试参数等内容,对铜缆布线系统的施工和测试技术人员具有较好的借鉴意义。

摘要： 达索航空的最新机型——宽体猎鹰6X公务机已按计划于2021年第一季度成功完成首飞,展现出整个项目进展的成熟,并开始了认证测试活动。巴黎时间2021年3月10日下午14点25分,一架序列号01的猎鹰6X公务机从达索航空位于法国波尔多附近的梅里尼亚克工厂成功首飞。在试飞飞行员布鲁诺·费里(Bruno Ferry)和法布里斯·瓦菜特(Fabrice Valette)的操控下,这架猎鹰6X公务机腾起驾云,升至12192米高空,飞行速度达到0.80马赫,首飞持续将近两个半小时后顺利返回基地。此次首飞还分别测试了飞机的操控质量、引擎响应和其他重要系统表现。

摘要： In recent years, authentication tests has been improved and applied to the analysis of various security protocols. However, these improvement theorems also have certain defects in terms of application scope and accuracy. In response to these defects, in this paper, improved incoming test theorem and encryption test theorem are proposed, and proof of the improvement theorem is given. This paper points out the defects of the authentication test in use by analyzing the judgment of the normal nodes in the authentication test, the errors in the proof process, and the inaccuracies and errors in the process of parameter consistency verification. Based on these defects, an improved formal analysis method recursion test is proposed. This method is used to prove BAN-Yahalom protocol, the result proves this method has expanded the scope of the use of authentication tests, and can analyze the security protocol effectively, accurately.%近年来,认证测试定理得到了改进,并应用于各种安全协议的分析.但是这些改进定理在应用范围和准确性方面存在一定的缺陷.针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明.通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷.基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议.分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议.

摘要： 全球领先的胶合板生产商俄罗斯SVEZA集团已经于今年3月初通过了认证测试,成为GTT公司MarkⅢ围护系统的胶合板产品供应商。据GTT介绍,SVEZA的胶合板产品将用于GTT的MarkⅢ技术,能保持从-160°C的低温到沸点,用于LNG的运输和存储,同时胶合板的胶粘线还能承受超过100吨/平方米的负荷。双方已经在法国完成了多次设计测试,结果完全符合GTT的质量和可靠性标准。

摘要： 随着并网标准的不断发展和演进,CERE(可再生能源认证实体,S.L)宣布华为SUN2000-185 KTL-H1光伏逆变器已经顺利通过NTS测试--支撑西班牙电网安全电力传输。华为是第一家通过西班牙新电网码NTS认证测试的厂家,凭借不断创新,在电网码准入技术上华为再一次实现领先。该认证测试报告已于2019年10月8日交付。

摘要： 运用基于Strand Space模型的认证测试方法，对Woo-Lam协议进行了分析，指出了该协议在认证正确性方面的缺陷，同时提出了改进的Woo-Lam协议，并用认证测试方法证明了改进协议的认证正确性。

摘要： 目前,企业的无线网络面临着巨大挑战.MulteFire这一使用非授权频谱的基于LTE及下一代蜂窝移动通信的技术,能够为企业搭建安全、无缝、高性能的无线网络环境.本文概述了MulteFire技术、MulteFire联盟及其发布的技术规范;梳理了MulteFire的两种网络架构;对比了共享非授权频谱且均基于LTE的三类技术的不同特性,即LTE-U、LAA/eLAA和MulteFire;研究了MulteFire联盟认证计划,主要包括两种认证类型和三种测试类型;总结了MulteFire技术的发展现状及趋势.

摘要： 各种设备领域对AdvancedTCA的采用日益增多，正推动着COTS和半定制解决方案的发展。寻求推出特色系统的设备制造商们，正在充分利用AdvancedTCA(ATCA)板卡及系统供应商提供的半定制特性。虽然ATCA是一项行业标准,对外型规格、散热装置、交换结构和互连提出了要求，但对于系统开发商为目标应用提供创新设计而言仍具有充分的灵活性。这使开发商得以围绕性能、可管理性和成本去整合其专有技术并优化其系统。因而，除电信和网络之外，ATCA还涉及更多的设备领域，比如具有高可用性要求的工业和军事领域。

摘要： 各种设备领域对AdvancedTCA的采用日益增多，正推动着COTS和半定制解决方案的发展。寻求推出特色系统的设备制造商们，正在充分利用AdvancedTCA(ATCA)板卡及系统供应商提供的半定制特性。虽然ATCA是一项行业标准,对外型规格、散热装置、交换结构和互连提出了要求，但对于系统开发商为目标应用提供创新设计而言仍具有充分的灵活性。这使开发商得以围绕性能、可管理性和成本去整合其专有技术并优化其系统。因而，除电信和网络之外，ATCA还涉及更多的设备领域，比如具有高可用性要求的工业和军事领域。

摘要： 各种设备领域对AdvancedTCA的采用日益增多，正推动着COTS和半定制解决方案的发展。寻求推出特色系统的设备制造商们，正在充分利用AdvancedTCA(ATCA)板卡及系统供应商提供的半定制特性。虽然ATCA是一项行业标准,对外型规格、散热装置、交换结构和互连提出了要求，但对于系统开发商为目标应用提供创新设计而言仍具有充分的灵活性。这使开发商得以围绕性能、可管理性和成本去整合其专有技术并优化其系统。因而，除电信和网络之外，ATCA还涉及更多的设备领域，比如具有高可用性要求的工业和军事领域。

摘要： 各种设备领域对AdvancedTCA的采用日益增多，正推动着COTS和半定制解决方案的发展。寻求推出特色系统的设备制造商们，正在充分利用AdvancedTCA(ATCA)板卡及系统供应商提供的半定制特性。虽然ATCA是一项行业标准,对外型规格、散热装置、交换结构和互连提出了要求，但对于系统开发商为目标应用提供创新设计而言仍具有充分的灵活性。这使开发商得以围绕性能、可管理性和成本去整合其专有技术并优化其系统。因而，除电信和网络之外，ATCA还涉及更多的设备领域，比如具有高可用性要求的工业和军事领域。

摘要： 串空间模型(strand space)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证.所设计的SSECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请,支付认证,付款等功能.

摘要： 串空间模型(strand space)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证.所设计的SSECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请,支付认证,付款等功能.

摘要： 串空间模型(strand space)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证.所设计的SSECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请,支付认证,付款等功能.

摘要： 串空间模型(strand space)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证.所设计的SSECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请,支付认证,付款等功能.

摘要： 本发明公开了一种国密认证的测试方法及装置、国密认证程序及系统。该发明包括：获取多个盘片对应的多个盘片信息，并依据多个盘片信息确定目标盘片；确定目标盘片对应的至少一个国密待测试项，并依据国密待测试项，调用脚本库中与至少一个国密待测试项对应的至少一个目标脚本；控制至少一个目标脚本依次运行，得到至少一个目标脚本对应的至少一个运行结果以及至少一个脚本运行日志；依据至少一个运行结果以及至少一个脚本运行日志，生成目标盘片对应的测试报告。通过本发明，解决了相关技术中测试步骤多，测试时间长，对于进行国密认证的测试人员的经验要求高，容错率低，若出现人员的更替或工作交接不完整，则会导致工作无从下手的地步的问题。

摘要： 本发明公开了一种工业互联网认证网关测试研制系统及其认证流程。包括工作站层、网关层、服务器层；所述工作站层包括工业互联网传感器、加密模块，工业互联网传感器收集数据加密传输到网关层并且接收网关层加密传输过来的指令，工业互联网传感器根据指令动作；所述网关层采用加密认证网关，作为测试系统的主要测试部分；所述服务器层包括上位机、密码认证设备、监测展示终端，上位机也就是工作站层，网关层的加密认证网关与上位机进行相互认证并建立加密传输安全通道，密码认证设备包括CA、密管，通过配置CA、密管对加密认证网关进行认证服务提供服务中心环境，通过监测展示终端对加密认证网关的数据流程进行正确性和安全性监视。

摘要： 本申请涉及一种认证系统的测试方法、装置、测试设备和存储介质，涉及信息安全技术领域。所述方法包括：若测试设备监控到认证系统调用测试设备的摄像头，则执行预先获取的目标代码信息，以禁用摄像头的拍摄功能，并根据目标代码信息获取预先存储的身份图像文件，并向服务器发送身份图像文件并接收服务器基于身份图像文件返回的身份认证结果，进而根据身份认证结果判断认证系统是否存在安全漏洞，能够实现不受制于认证系统的安全防护机制的前提下对认证系统的安全性进行测试，拓宽了安全测试方法的适用范围。

摘要： 本发明涉及一种计算机实现的方法，用于通过关键绩效指标在基于场景的测试中评估模拟和/或测试情形和/或认证待测试的至少部分自动的驾驶功能，KPI通过KPI插件体现，为模拟和/或测试情形动态且可重新使用地选择KPI插件并且至少一个KPI插件由KPI插件机制在模拟和/或测试定义时选择并自动由KPI插件机制在执行期间执行。

摘要： 本发明公开了一种风电叶片预埋螺套测试件及利用其实现的测试认证方法，由螺套、内增强层纤维布、外增强层纤维布、玻璃钢楔子、泡沫楔子和平板泡沫楔子组成，内、外增强层纤维布对称铺设在螺套的上、下表面，玻璃钢楔子有两块对称放置在螺套套身的左、右两侧，内、外增强层纤维布、螺套尾端及两块玻璃钢楔子一起合围限定出用于容置泡沫楔子的容置空间，平板泡沫楔子有两块对称放置在两块玻璃钢楔子的外侧。本发明的测试件是以螺套中心线为基准进行对称设计，且加载时外载方向与螺套中心线重合，以避免由于几何模型不对称带来的附加弯曲，同时测试固定端的应力分布也会更加均匀，应力更小，可以有效缩短测试认证周期与测试费用。

摘要： 本发明提供一种用于多用户并发web认证的自动化测试方法及测试系统，属于web认证领域。本发明自动化测试方法包括步骤：登录待测设备，开启web认证，添加指定个数的web账户；添加指定个数的虚拟客户端；对指定个数的虚拟客户端并发web认证，记录认证结果；删除指定个数的虚拟客户端，结束。本发明的有益效果为：节省测试占用的人力、时间和环境搭建成本；效率高，耗时短，仅需几分钟到十几分钟即可测完上百到上千个客户端。

摘要： 本发明提供了一种联机认证测试的认证测试报告的自动生成方法及其系统。该方法包括：用于生成测试日志的日志生成步骤；和对所述日志生成步骤进行管理，根据从外部输入的认证评估要求、用户信息以及认证测试的交易信息生成认证测试报告的主进程步骤，其中，所述日志生成步骤和所述主进程步骤之间通过消息队列完成。利用上述认证测试报告的自动生成方法，大大减小评估人员的工作量、解放了劳动力，提高了评估速度和效果，同时提高了认证质量。

摘要： 本发明公开了一种认证测试方法，适于在一电脑系统被设定为一轻量目录存取协议服务器的客户端时进行测试，其包括利用LDAP服务器登录此电脑系统，并获得一第一测试信息。另外，利用一认证数据输入电脑系统，并获得一第二测试信息。而依据第一测试信息和第二测试信息，本发明可以判断轻量目录存取协议服务器是否能被电脑系统所认证。

摘要： 本发明提供了一种联机认证测试的认证测试报告的自动生成方法及其系统。该方法包括：用于生成测试日志的日志生成步骤；和对所述日志生成步骤进行管理，根据从外部输入的认证评估要求、用户信息以及认证测试的交易信息生成认证测试报告的主进程步骤，其中，所述日志生成步骤和所述主进程步骤之间通过消息队列完成。利用上述认证测试报告的自动生成方法，大大减小评估人员的工作量、解放了劳动力，提高了评估速度和效果，同时提高了认证质量。

摘要： 本发明公开了一种认证测试方法，适于在一电脑系统被设定为一轻量目录存取协议服务器的客户端时进行测试，其包括利用LDAP服务器登录此电脑系统，并获得一第一测试信息。另外，利用一认证数据输入电脑系统，并获得一第二测试信息。而依据第一测试信息和第二测试信息，本发明可以判断轻量目录存取协议服务器是否能被电脑系统所认证。