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

Design and Verification of Security Protocols for Internet X.509 PKI

作　　者：徐志大[1] 南相浩[2] 

机构地区：[1]解放军信息工程大学,郑州450002 [2]北京大学,北京100091

出　　处：《计算机工程与应用》2003年第1期161-164,共4页Computer Engineering and Applications

摘　　要：安全通信协议是公钥基础设施PKI的重要组成部分,实现PKI各构件之间的在线交互、身份认证、消息完整性及保密性。该文首先介绍X.509PKI的基本结构,然后提出一套安全协议解决方案,并用BAN逻辑对协议进行安全性证明。Security protocols are an important part of PKI.They provide on-line interaction?entity authentication?message integrity and confidentiality.At first,this paper describes the basic structure of X.509PKI ,and then,a solution for security protocols of X.509PKI is proposed.Finally,it gives the analysis and verification of protocols using BAN logic.

关 键 词：INTERNET X.509 PKI 安全通信协议 设计 

分 类 号：TN915.04[电子电信—通信与信息系统] TP393.4[电子电信—信息与通信工程]