Internet X.509 PKI安全通信协议设计与证明

摘要：

安全通信协议是公钥基础设施PKI的重要组成部分,实现PKI各构件之间的在线交互、身份认证、消息完整性及保密性.该文首先介绍X.509 PKI的基本结构,然后提出一套安全协议解决方案,并用BAN逻辑对协议进行安全性证明.

关键词：PKI CA、安全协议

所属期刊栏目：39

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：161-164