协议证明和分析论文

会话密钥建立关键技术研究
论文摘要本文对会话密钥建立关键技术进行了深入研究，内容包括不同公钥基础设施信任域间互操作、公钥加密算法和签名算法、认证协议符号化形式证明的可靠性论证、特定系统中认证协议分析。主...