安全试验
安全试验技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
安全试验 全部资料 500 份
软件安全性测试方法研究
软件安全性测试是保证软件安全性的重要手段。本文论述了软件安全性测试的特点和主要内容，重点研究了国内外软件安全性测试的主要方法，最后总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发
2024-04-18
1
安全测试要求 IEC 60950-1、EN 60950-1 安规测试-TUV培训材料
60950-1安规测试-TUV培训材料输入电流 (1.6.2)测试方法: • 测试电压和频率分别为额定电压和额定频率； • 测试负载为正常工作时的最大负载； • 记录测试时样品的输入稳态电流（有效值）和功率；&...
2022-09-09
1
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
2023-12-20
7