会话密钥建立关键技术研究-密码学专业论文.docxVIP

内容摘要本文对会话密钥建立关键技术进行了深入研究，内容包括不同公钥基础设施 内容摘要 本文对会话密钥建立关键技术进行了深入研究，内容包括不同公钥基础设施 信任域间互操作、公钥加密算法和签名算法、认证协议符号化形式证明的可靠性 论证、特定系统中认证协议分析。主要成果有： 1、在公钥基础设施信任域间互操作方面，给出一种新的域间互操作模型，虚 拟桥证书机构模型。该模型保持了信任终端对本地证书机构的信任，把信任路径 构造的过程严格限制在单个公钥基础设施信任域内，并且从技术上提供域问互操 作的民主决策机会。该模型适用于具有利益冲突的单位之间，在原有公钥基础设 施的基础上，扩大公钥基础设施的服务范围。 2、在公钥加密算法和签名算法方面，给出一种新的公钥加密算法，并证明该 算法在标准模型中具有抗不可区分自适应选择密文攻击的安全性；给出新的困难 问题，并证明Schnorr签名体制在标准模型中具有抗选择消息攻击的安全性。新的 公钥加密算法基于Cramer．Shoup公钥加密体制，LLCramer．Shoup力【l密体制产生的密 文长度小，计算效率高，节省了带宽和计算资源。新的困难问题基于Schnorr提出 的多变量契合问题，我们把该问题正式提出，并给出了与该问题相关的系列困难 问题，证明了Schnorr签名体制在标准模型中的安全性。 3、在认证协议形式化证明可靠性论证方面，给出形式化攻击者能力描述的