一个新的基于公钥密码机制的安全协议的设计.pdfVIP

绿色质量观察 一 个新 的基于公钥密码机制 的安全协议 的设计 Design ofNew SecureProtocolBasedonAsym metricCryptography 王宝珠，杨菲，刘翠响(河北一r：业大学信息 稃学院，天津 300401) WangBao—zhurYangFei．LiuCui一 ang(1ns lP『oflnformallonEngineering．HebeiUni~ersit?, olTechnologw．Tianjin300401) 摘 要 t为了解决网络中的安全传输和通信 问题，提出一个新的基于公钥密码机制的安全协议。该安全协议的设 计和分析采用了面向主体的逻辑方法。协议中引入了可信任的第i方 ，采用挑战 ，响应机制实现通信双方的身份 认证，采用 Dil1]e—Hellmam机制实现了密钥协商。通过 Rubin逻辑形式化分析 ，验证了该协