安全验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
UL认证 发电源资料(安规认证)UL是英文保险商试验所（Underwriter Laboratories Inc.）的简写。UL安全试验所是美国最有权威的，也是界上从事安全试验和鉴定的较大 的民间机构。它是一个独立的、非营利的...
利用拉格朗日插值公式和代理证书, 给出一个短门限代理签名方案. 在方案中, 原始签名者将自己的签名权委托给n 个代理签名者, 而只有(这n 个代理签名者中的)k(k≤n)个以上的代理签
交叉认证的安全性由不同PKI 信任域的根CA 的数字签名来保证。如果根CA 密钥泄露，整个PKI 体系的信任关系就全部失效。文章分析了交叉认证技术实现的策略，提出了前向安全数字签名的交叉认证思
基于口令的身份认证是目前多数应用系统所采用的安全机制。动态口令是身份认证机制新的发展方向。本文详细阐述了常用的三种动态口令机制，并对它们的安全性进行了分析。关键词：动态口令 时间同步
介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协