安全验证

安全验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

安全验证 热门资料

查看全部 500 份 →

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

2023-12-20 7 安全验证

安全电流和安全电压: 一般人体能感觉到刺激的电流值大约是1 mA,，当人体通过5~20mA时肌肉就产生收缩抽现象，使人不能自离电线多数国家规定允许

2024-04-16 3 安全验证

 UL认证 发电源资料(安规认证)UL是英文保险商试验所（Underwriter Laboratories Inc.）的简写。UL安全试验所是美国最有权威的，也是界上从事安全试验和鉴定的较大 的民间机构。它是一个独立的、非营利的...

2022-09-09 7 安全验证

利用拉格朗日插值公式和代理证书, 给出一个短门限代理签名方案. 在方案中, 原始签名者将自己的签名权委托给n 个代理签名者, 而只有(这n 个代理签名者中的)k(k≤n)个以上的代理签

2024-01-20 1 安全验证

交叉认证的安全性由不同PKI 信任域的根CA 的数字签名来保证。如果根CA 密钥泄露，整个PKI 体系的信任关系就全部失效。文章分析了交叉认证技术实现的策略，提出了前向安全数字签名的交叉认证思

2024-03-12 4 安全验证