Internet X.509 PKI安全通信协议设计与证明
Internet X.509 PKI안전통신협의설계여증명
Design and Verification of Security Protocols for Internet X.509 PKI
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2003年 1期 161-164 ,共4页

    徐志大%南相浩

    서지대%남상호

    PKI CA 安全协议 PKI CA 安全協議
    PKI CA 안전협의
    安全通信协议是公钥基础设施PKI的重要组成部分,实现PKI各构件之间的在线交互、身份认证、消息完整性及保密性.该文首先介绍X.509 PKI的基本结构,然后提出一套安全协议解决方案,并用BAN逻辑对协议进行安全性证明.
    안전통신협의시공약기출설시PKI적중요조성부분,실현PKI각구건지간적재선교호、신빈인증、소식완정성급보밀성.해문수선개소X.509 PKI적기본결구,연후제출일투안전협의해결방안,병용BAN라집대협의진행안전성증명.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문