X.509协议相关论文
在对X.509身份认证协议及其安全性分析的基础上,结合对USBKey关键技术的研究,提出了一种用USBKey实现X.509身份认证的新方法.它明......
身份认证技术是能够对信息收发双方进行真实身份鉴别的技术,是保护网络信息资源安全的第一道大门。本文对目前常用的身份认证技术......
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论......
解析了AES（Rijndael）的算法过程，分析了X.509协议的安全性，在改进的X．509协议的基础上设计了一种基于AES和ECC算法的混合密码系统．......
介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消......
身份认证技术是能够对信息收发双方进行真实身份鉴别的技术,是保护网络信息资源安全的第一道大门.如何确定用户身份以控制其对信息......
身份认证中的关键技术是身份信息的安全存储、处理和传递,本文提出了一种基于智能卡的X.509身份认证方案,设计了一套基于X.509的身......
采用认证测试方法对X．509协议的认证正确性进行了分析。该方法比BAN逻辑分析得到的结论更具体，比传统串空间理论构造集合寻找M—mini......
随着网络技术的发展,网络安全问题越来越受关注,公开密钥基础设施(PKI)技术为全面解决网络安全问题提供了可行方案。各国政府先后......
